#### Filter Results:

#### Publication Year

2008

2015

#### Publication Type

#### Co-author

#### Key Phrase

#### Publication Venue

Learn More

We present a formal semantical model to capture action, belief and intention, based on the " database perspective " (Shoham 2009). We then provide postulates for belief and intention revision, and state a representation theorem relating our postulates to the formal model. Our belief postulates are in the spirit of the AGM theory ; the intention postulates… (More)

A well-known open problem in epistemic logic is to give a syntactic characterization of the successful formulas. Semantically, a formula is successful if and only if for any pointed model where it is true, it remains true after deleting all points where the formula was false. The classic example of a formula that is not successful in this sense is the "… (More)

In this paper, we explore semantics for comparative epistemic modals that avoid the entailment problems based on finitely additive measures, we introduce semantics based on qualitatively additive measures, as well as semantics based on purely qualitative orderings, including orderings on propositions derived from orderings on worlds in the tradition of… (More)

Unlike standard modal logics, many dynamic epistemic logics are not closed under uniform substitution. The classic example is Public Announcement Logic (PAL), an extension of epistemic logic based on the idea of information acquisition as elimination of possibilities. In this paper, we address the open question of whether the set of schematic validities of… (More)

The semantic automata framework, developed originally in the 1980s, provides computational interpretations of generalized quantifiers. While recent experimental results have associated structural features of these automata with neuroanatom-ical demands in processing sentences with quantifiers, the theoretical framework has remained largely unexplored. In… (More)

Unlike standard modal logics, many dynamic epistemic logics are not closed under uniform substitution. A distinction therefore arises between the logic and its substitution core, the set of formulas all of whose substitution instances are valid. The classic example of a non-uniform dynamic epistemic logic is Public Announcement Logic (PAL), and a well-known… (More)

The picture of information acquisition as the elimination of possibilities has proven fruitful in many domains, serving as a foundation for formal models in philosophy, linguistics, computer science, and economics. While the picture appears simple, its formalization in dynamic epistemic logic reveals subtleties: given a valid principle of information… (More)

We prove that the generalized cancellation axiom for incomplete comparative probability relations introduced by Ríos Insua (1992) and Alon and Lehrer (2014) is stronger than the standard cancellation axiom for complete comparative probability relations introduced by Scott (1964), relative to their other axioms for comparative probability in both the finite… (More)