scientific article
From MaRDI portal
Publication:3992554
zbMath0664.03003MaRDI QIDQ3992554
Publication date: 17 September 1992
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Philosophical and critical aspects of logic and foundations (03A05) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) General logic (03B99)
Related Items (37)
On the logic of common belief and common knowledge ⋮ Twenty-five basic theorems in situation and world theory ⋮ Non-well-founded sets via revision rules ⋮ The logical form of determiners ⋮ Logic and social cognition. The facts matter, and so do computational models ⋮ Common knowledge: Relating anti-founded situation semantics to modal logic neighbourhood semantics ⋮ HYPERSOLVER: A graphical tool for commonsense set theory ⋮ A relevant theory of conditionals ⋮ Belief closure: A semantics of common knowledge for modal propositional logic ⋮ An algebraic theory of structured objects ⋮ Hereditarily finite Finsler sets ⋮ Language and proof theory. Preface to the special issue on ``Proof theory and natural language ⋮ Causality as a key to the frame problem ⋮ Information links in domain theory ⋮ Situation-based connexive logic ⋮ Virtual worlds as meeting places for formal systems ⋮ Polarized subtyping ⋮ The number of fragments of the perfect class of the Jonsson spectrum ⋮ Mathematical modal logic: A view of its evolution ⋮ How much does it help to know what she knows you know? An agent-based simulation study ⋮ The Proof Theory of Common Knowledge ⋮ Hypersets ⋮ Introduction: From Information at Large to Semantics of Logics ⋮ On subsumption and semiunification in feature algebras ⋮ Formal semantics for mutual belief ⋮ Cut-free common knowledge ⋮ A variant of Thomason's first-order logic CF based on situations ⋮ About cut elimination for logics of common knowledge ⋮ Radical semantics: A new theory of meaning ⋮ A situation-theoretic account of nonmonotonic reasoning ⋮ Channels: From Logic to Probability ⋮ Modeling Real Reasoning ⋮ Correlated Information: A Logic for Multi-Partite Quantum Systems ⋮ Formal verification of multi-agent systems behaviour emerging from cognitive task analysis ⋮ Relevant logic and the theory of information ⋮ Towards an integration science. The influence of Richard Bellman on our research. ⋮ Situation Theory Reconsidered
This page was built for publication:
