Topological reasoning and the logic of knowledge
From MaRDI portal
Publication:1919762
DOI10.1016/0168-0072(95)00016-XzbMath0861.68092MaRDI QIDQ1919762
Lawrence S. Moss, Rohit Parikh, Andrew Dabrowski
Publication date: 30 October 1996
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Knowledge representation (68T30)
Related Items (40)
Augmenting Subset Spaces to Cope with Multi-agent Knowledge ⋮ Logics for multi-subset spaces ⋮ Updating knowledge using subsets ⋮ Subset Space vs Relational Semantics of Bimodal Logic: Bringing Out the Difference ⋮ Pooling modalities and pointwise intersection: semantics, expressivity, and dynamics ⋮ Hypergraphs, local reasoning, and weakly aggregative modal logic ⋮ Topological reasoning and the logic of knowledge ⋮ A Logic for Belief Contraction ⋮ On Topologically Relevant Fragments of the Logic of Linear Flows of Time ⋮ To be announced ⋮ A topological approach to full belief ⋮ Topological Semantics of Justification Logic ⋮ The logic of framing effects ⋮ Arbitrary public announcement logic with memory ⋮ An Acceptance Semantics for Stable Modal Knowledge ⋮ Unnamed Item ⋮ Reverse public announcement operators on expanded models ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Dynamic logics of evidence-based beliefs ⋮ Temporal aspects of the modal logic of subset spaces ⋮ Topological Subset Space Models for Public Announcements ⋮ Parikh and Wittgenstein ⋮ Epistemic Conditionals and the Logic of Subsets ⋮ Modal systems for covering semantics and boundary operator ⋮ A Grim semantics for logics of belief ⋮ Using hybrid logic for coping with functions in subset spaces ⋮ The epistemology of nondeterminism ⋮ Topological modal logics satisfying finite chain conditions ⋮ A Two-Dimensional Hybrid Logic of Subset Spaces ⋮ Reusing topological nexttime logic ⋮ A dynamic logic for learning theory ⋮ A hybrid logic for reasoning about knowledge and topology ⋮ Announcement as effort on topological spaces ⋮ LOGIC AND TOPOLOGY FOR KNOWLEDGE, KNOWABILITY, AND BELIEF ⋮ Observational Effort and Formally Open Mappings ⋮ Logical Dynamics of Evidence ⋮ An Alternative Logic for Knowability ⋮ A ModalWalk Through Space ⋮ Expressivity in polygonal, plane mereotopology
Cites Work
This page was built for publication: Topological reasoning and the logic of knowledge
