The following pages link to J. F. A. K. van Benthem (Q1246519):
Displayed 50 items.
- Extensive games as process models (Q1610625) (← links)
- Computation as social agency: what, how and who (Q1641025) (← links)
- A propositional dynamic logic for instantial neighborhood models (Q1679752) (← links)
- Constructive agents (Q1688949) (← links)
- The logic of time. A model-theoretic investigation into the varieties of temporal ontology and temporal discourse (Q1837679) (← links)
- Logic of transition systems (Q1895974) (← links)
- Directions in generalized quantifier theory (Q1908858) (← links)
- Implicit and explicit stances in logic (Q2000675) (← links)
- Modeling reasoning in a social setting (Q2016076) (← links)
- A simple logic of functional dependence (Q2240545) (← links)
- Natural language and logic of agency (Q2255238) (← links)
- A propositional dynamic logic for instantial neighborhood semantics (Q2323639) (← links)
- A new game equivalence, its logic and algebra (Q2323693) (← 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)
- Modal frame correspondences and fixed-points (Q2433098) (← links)
- Guards, bounds, and generalized semantics (Q2567341) (← links)
- (Q2702231) (← links)
- (Q2741532) (← links)
- (Q2776063) (← links)
- (Q2818543) (← links)
- (Q2853718) (← links)
- Question–answer games (Q2901215) (← links)
- Belief Update as Social Choice (Q2902945) (← links)
- (Q3000098) (← links)
- (Q3001111) (← links)
- (Q3003825) (← links)
- (Q3007247) (← links)
- (Q3007288) (← links)
- Game Solution, Epistemic Dynamics and Fixed-Point Logics (Q3065009) (← links)
- Logical Dynamics of Evidence (Q3093993) (← links)
- Games in Dynamic-Epistemic Logic (Q3113047) (← links)
- Logical Dynamics of Information and Interaction (Q3114222) (← links)
- (Q3122692) (← links)
- Modal Foundations for Predicate Logic (Q3126406) (← links)
- A bimodal perspective on possibility semantics (Q3133167) (← links)
- (Q3142029) (← links)
- Talking About Knowledge (Q3299839) (← links)
- Tracking Information (Q3305434) (← links)
- Deontic Logic and Changing Preferences (Q3305652) (← links)
- Determiners and logic (Q3318752) (← links)
- (Q3356297) (← links)
- (Q3367284) (← links)
- (Q3367295) (← links)
- Lindstrom theorems for fragments of first-order logic (Q3395097) (← links)
- Changing a Semantics: Opportunism or Courage? (Q3454820) (← links)
- Sabotage Modal Logic: Some Model and Proof Theoretic Aspects (Q3457681) (← links)
- Symbolic Model Checking for Dynamic Epistemic Logic (Q3457719) (← links)
- (Q3469091) (← links)
- (Q3470458) (← links)