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

Armstrong's Axioms and Navigation Strategies

Publication Date
2018-February-02
Document Type
conference
Authors
Deuser, Kaya
Naumov, Pavel
Department or Program
Computer Science Department
Document Type
Conference
Abstract

The paper investigates navigability with imperfect information. It shows that the properties of navigability with perfect recall are exactly those captured by Armstrong's axioms from database theory. If the assumption of perfect recall is omitted, then Armstrong's transitivity axiom is...

View
Vassar Scholarship

Everyone knows that someone knows: quantifiers over epistemic agents

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

Modal logic S5 is commonly viewed as an epistemic logic that captures the most basic properties of knowledge. Kripke proved a completeness theorem for the first-order modal logic S5 with respect to a possible worlds semantics. A multiagent version of...

View