The following pages link to J. F. A. K. van Benthem (Q1246519):
Displaying 16 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)
- 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)