The following pages link to J. F. A. K. van Benthem (Q1246519):
Displayed 50 items.
- Item:Q1246519 (redirect page) (← links)
- 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)
- Logical semantics as an empirical science (Q795028) (← links)
- Foundations of conditional logic (Q796516) (← 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)
- Categorial grammar and type theory (Q909654) (← 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)
- Possible worlds semantics: a research program that cannot fail? (Q1062670) (← links)
- The variety of consequence, according to Bolzano (Q1083442) (← links)
- Essays in logical semantics (Q1089332) (← links)
- A note on Jónsson's theorem (Q1109763) (← links)
- Notes on modal definability (Q1119622) (← links)
- Critical notice to: D. M. Gabbay's ''Investigations in modal and tense logics with applications to problems in philosophy and linguistics'' (Q1139033) (← links)
- Some kinds of modal completeness (Q1151886) (← links)
- Item:Q1246519 (redirect page) (← links)
- The logical study of science (Q1164615) (← links)
- Hallden-completeness by gluing of Kripke frames (Q1165230) (← links)
- Language in action (Q1177646) (← links)
- Situations, language and logic (Q1188779) (← links)
- Language in action. Categories, lambdas and dynamic logic (Q1188935) (← links)
- The logic of time. A model-theoretic investigation into the varieties of temporal ontology and temporal discourse. (Q1188997) (← links)
- Hintikka on analyticity (Q1213429) (← links)
- Four paradoxes (Q1246520) (← links)
- Ramsey eliminability (Q1255487) (← links)
- Modal languages and bounded fragments of predicate logic (Q1267082) (← links)
- Modality, bisimulation and interpolation in infinitary logic (Q1295444) (← links)
- Conditional probability meets update logic (Q1403404) (← links)
- Euclidean hierarchy in modal logic (Q1419386) (← links)
- Logic games are complete for game logics (Q1425187) (← links)
- Program constructions that are safe for bisimulation (Q1577351) (← links)
- Modal deduction in second-order logic and set theory. II (Q1577355) (← links)