The following pages link to The situation in logic (Q3992554):
Displaying 37 items.
- Formal semantics for mutual belief (Q685541) (← links)
- Logical space and metaphysical systems (Q762055) (← links)
- Logic and social cognition. The facts matter, and so do computational models (Q843769) (← links)
- Hypersets (Q1181863) (← links)
- On subsumption and semiunification in feature algebras (Q1194340) (← links)
- Relevant logic and the theory of information (Q1293022) (← links)
- On the logic of common belief and common knowledge (Q1330013) (← links)
- Non-well-founded sets via revision rules (Q1337508) (← links)
- The logical form of determiners (Q1344852) (← links)
- HYPERSOLVER: A graphical tool for commonsense set theory (Q1357081) (← links)
- Belief closure: A semantics of common knowledge for modal propositional logic (Q1377482) (← links)
- An algebraic theory of structured objects (Q1377554) (← links)
- Causality as a key to the frame problem (Q1392090) (← links)
- Virtual worlds as meeting places for formal systems (Q1402195) (← links)
- Mathematical modal logic: A view of its evolution (Q1422628) (← links)
- Towards an integration science. The influence of Richard Bellman on our research. (Q1584626) (← links)
- About cut elimination for logics of common knowledge (Q1772772) (← links)
- Common knowledge: Relating anti-founded situation semantics to modal logic neighbourhood semantics (Q1895975) (← links)
- A relevant theory of conditionals (Q1908790) (← links)
- Language and proof theory. Preface to the special issue on ``Proof theory and natural language'' (Q1923834) (← links)
- Twenty-five basic theorems in situation and world theory (Q2366527) (← links)
- How much does it help to know what she knows you know? An agent-based simulation study (Q2446587) (← links)
- Cut-free common knowledge (Q2475436) (← links)
- Radical semantics: A new theory of meaning (Q2499304) (← links)
- The number of fragments of the perfect class of the Jonsson spectrum (Q2700069) (← links)
- Correlated information: a logic for multi-partite quantum systems (Q2825361) (← links)
- The Proof Theory of Common Knowledge (Q3299587) (← links)
- Introduction: From Information at Large to Semantics of Logics (Q3305417) (← links)
- Hereditarily finite Finsler sets (Q3486556) (← links)
- Channels: From Logic to Probability (Q3627414) (← links)
- Modeling Real Reasoning (Q3627415) (← links)
- (Q3812203) (← links)
- A situation-theoretic account of nonmonotonic reasoning (Q4421275) (← links)
- Formal verification of multi-agent systems behaviour emerging from cognitive task analysis (Q4467046) (← links)
- Situation Theory Reconsidered (Q5249694) (← links)
- A variant of Thomason's first-order logic CF based on situations (Q5937807) (← links)
- Situation-based connexive logic (Q6127191) (← links)
