Vassar College Digital Library

Vassar Scholarship

Vassar Scholarship, the institutional repository formerly known as Digital Window, reflects the research and scholarly output of the Vassar College community.  It provides access to a variety of collections, including senior theses and projects across a wide range of disciplines.

Advanced search

Vassar Scholarship

Coalition Power in Epistemic Transition Systems

Publication Date
2017-January-01
Document Type
conference
Authors
Naumov, Pavel
Tao, Jia
Department or Program
Computer Science Department
Document Type
Conference
Abstract

The paper proposes a bimodal logic that describes an interplay between coalition strategies and distributed knowledge. Unlike the existing literature, the paper assumes that a strategy must be not only executable but also verifiable. That is, the strategy of a...

View
Vassar Scholarship

Lighthouse principle for diffusion in social networks

Publication Date
2018-January-01
Document Type
article
Authors
Azimipoor, Sanaz
Naumov, Pavel
Department or Program
Computer Science Department
Document Type
Article
Abstract

The article investigates an influence relation between two sets of agents in a social network. It proposes a logical system that captures propositional properties of this relation valid in all threshold models of social networks with the same structure. The...

View
Vassar Scholarship

Second-Order Know-How Strategies

Publication Date
2018-July-10
Document Type
conference
Authors
Naumov, Pavel
Tao, Jia
Department or Program
Computer Science Department
Document Type
Conference
Abstract

The fact that a coalition has a strategy does not mean that the coalition knows what the strategy is. If the coalition knows the strategy, then such a strategy is called a know-how strategy of the coalition. The paper proposes...

View
Vassar Scholarship

Together We Know How to Achieve: An Epistemic Logic of Know-How

Publication Date
2017-January-01
Document Type
conference
Authors
Naumov, Pavel
Tao, Jia
Department or Program
Computer Science Department
Document Type
Conference
Abstract

The existence of a coalition strategy to achieve a goal does not necessarily mean that the coalition has enough information to know how to follow the strategy. Neither does it mean that the coalition knows that such a strategy exists...

View