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