Lindstrom theorems for fragments of first-order logic (2009)
Van Benthem, Johan, Cate, Balder Ten, Vaananen, Jouko
Lindstr\"om theorems characterize logics in terms of model-theoretic conditions such as Compactness and the L\"owenheim-Skolem property. Most existing characterizations of this kind concern...
Logics of Communication and Change (2006)
Van Benthem, Johan, Van Eijck, Jan, Kooi, Barteld
Current dynamic epistemic logics for analyzing effects of informational events often become cumbersome and opaque when common knowledge is added for groups of agents. Still, postconditions involving...
Computation as Conversation (2006)
Against the backdrop of current research into 'logical dynamics' of information, we discuss two-way connections between conversation and computation. This leads to a broader perspective on both,...
Minimal predicates, fixed-points, and definability (2005)
Minimal predicates P satisfying a given first-order description φ(P) occur widely in mathematical logic and computer science. We give an explicit first-order syntax for special first-order ‘PIA...
Reduction axioms for epistemic actions (2004)
Kooi, Barteld, Van Benthem, Johan
Current dynamic epistemic logics often become cumbersome and opaque when common knowledge is added. In this paper we propose new versions that extend the underlying static epistemic language in such...
Reasoning About Space: The Modal Way (2003)
Aiello, Marco, Van Benthem, Johan, Bezhanishvili, Guram
We investigate the topological interpretation of modal logic in modern terms, using a new notion of bisimulation. We look at modal logics with interesting topological content, presenting, among...
Modal Foundations for Predicate Logic (1997)
The complexity of any logical modeling reflects both the intrinsic structure of a topic described and the weight of the formal tools. Some of this weight seems inherent in even the most basic logical...
Modal Deduction in Second-Order Logic and Set Theory--I (1997)
Van BENTHEM, JOHAN, D' AGOSTINO, GIOVANNA, MONTANARI, ANGELO, POLICRTTI, ALBERTO
We investigate modal deduction through translation into standard logic and set theory. In a previous paper, using a set-theoretic translation method, we proved that derivability in the minimal modal...
THE DYNAMICS OF INTERPRETATION* (1982)
Van Benthem, Johan, Van Eijck, Jan
In current semantic theory compositional interpretations are assumed to go from linguistic items to their denotations in some model. This perspective still leaves room for a more dynamical account of...
Games in Dynamic-Epistemic Logic.
The author discusses games of both perfect and imperfect information at two levels of structural detail: players' local actions, and their global powers for determining outcomes of the game. Matching...