The following pages link to J. F. A. K. van Benthem (Q1246519):
Displaying 30 items.
- The logic of empirical theories revisited (Q383008) (← links)
- Evidence and plausibility in neighborhood structures (Q392275) (← links)
- Sahlqvist correspondence for modal mu-calculus (Q454371) (← links)
- Introduction to the special issue: Logic and philosophy of science in the footsteps of E. W. Beth (Q542117) (← links)
- McCarthy variations in a modal key (Q543607) (← links)
- Preface to the special issue: Temporal logics of agency (Q616042) (← links)
- The dynamics of awareness (Q625715) (← links)
- Dynamic logics of evidence-based beliefs (Q647408) (← links)
- Toward a dynamic logic of questions (Q692177) (← links)
- Tense logic and time (Q791514) (← links)
- The information in intuitionistic logic (Q833032) (← links)
- Logics of communication and change (Q859825) (← links)
- Multimodal logics of products of topologies (Q861569) (← links)
- A new modal Lindström theorem (Q874750) (← links)
- Logical constants across varying types (Q908900) (← links)
- Logic and reasoning: do the facts matter? (Q934828) (← links)
- The many faces of interpolation (Q1024113) (← links)
- Modelling simultaneous games in dynamic logic (Q1024134) (← links)
- Everything else being equal: a modal logic for ceteris paribus preferences (Q1029829) (← links)
- Dynamic update with probabilities (Q1035842) (← links)
- Editorial: Logic and intelligent interaction (Q1036067) (← links)
- Merging frameworks for interaction (Q1037376) (← links)
- Notes on modal definability (Q1119622) (← links)
- Hallden-completeness by gluing of Kripke frames (Q1165230) (← links)
- Computation as social agency: what, how and who (Q1641025) (← links)
- Toward a theory of play: a logical perspective on games and interaction (Q2344965) (← links)
- On a new semantics for first-order predicate logic (Q2363414) (← links)
- New Logical Perspectives on Monotonicity (Q6483848) (← links)
- Dependence Logics in Temporal Settings (Q6505761) (← links)
- Knowability as continuity: a topological account of informational dependence (Q6517240) (← links)