-
In current studies of knowledge at the interface of logic and epistemology, philosophical positions and logical systems lore meet in new ways. This little piece, a programmatic sequel to van
Benthem 2011 ("Logical Dynamics of Information and Interaction") and a prequel to Baltag et al. 2015 ("The...
-
The normative realm involves deontic notions such as obligation or permission, as well as information about relevant actions and states of the world. This mixture is not static, given once and for all. Both information and normative evaluation available to agents are subject to changes with vario...
-
This light piece reflects on analogies between two often disjoint streams of research: the logical semantics and pragmatics of natural language and dynamic logics of general information-driven agency. The two areas show significant overlap in themes and tools, and yet, the focus seems subtly diff...
-
The generalized models for higher-order logics introduced by Leon Henkin, and their multiple offspring over the years, have become a standard tool in many areas of logic. Even so, discussion has persisted about their technical status, and perhaps even their conceptual legitimacy. This paper gives...
-
This chapter gives an overview of current dynamic logics that describe belief update and revision, both for single agents and in multi-agent settings. We employ a mixture of ideas from AGM belief revision theory and dynamic-epistemic logics of information-driven agency. After describing the basic...
-
I reflect on my encounters with Frans Zwarts, and what makes language and logic meet. The main themes are what the logical semantic topics of the early 1980s such as generalized quantifiers, natural logic, and semantic automata, look like in a perspective of agent logics where the linguistic agen...
-
This is a preface for a special issue with frank statements from working logicians about where they see their field heading.
Appeared in "Studies in Logic", ILC, Guangzhou, China.
-
We generalize the $(\wedge, \vee)$-canonical formulas of Bezhanishvili & Bezhanishvili (to appear) to $(\wedge, \vee)$-canonical rules, and prove that each intuitionistic multi-conclusion consequence relation is axiomatizable by $(\wedge, \vee)$-canonical rules. This provides an intuitionistic an...
-
We introduce a new order-topological semantics for the positive modal mu-calculus over modal compact Hausdorff spaces, which are generalizations of descriptive frames. We define Sahlqvist sequents in this language and prove Esakia's lemma and Sahlqvist preservation theorem in this semantics. We s...
-
This is a short note with small observations about big questions. We discuss how fixed-point logics, modal and first-order, can describe natural and interesting kinds of dynamic limit behavior in social networks, not just convergence to one end state. We explore what new issues arise then, and ho...
-
The interface of logic and philosophy is diverse, and has always been so. Understanding the interplay raises issues on which some philosophers have strong a priori views. My own preference as a working logician is to proceed by actual history of ideas, something still largely to be written for mo...