Topological reasoning and the logic of knowledge

DOI10.1016/0168-0072(95)00016-XMaRDI QIDQ1919762zbMATH OpenFDO

Authors Andrew Dabrowski, Lawrence S. Moss, Rohit Parikh

Publication date 30 October 1996

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0168-0072(95)00016-X

zbMATH Keywords

knowledgetopologic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Recommendations

• A hybrid logic for reasoning about knowledge and topology
• Algebraic Methodology and Software Technology
• Temporal aspects of the modal logic of subset spaces
• scientific article; zbMATH DE number 1303728
• Reasoning About Space: The Modal Way

Cites work

• A model-theoretic analysis of knowledge
• How processes learn
• scientific article; zbMATH DE number 3902018 (Why is no real title available?)
• scientific article; zbMATH DE number 4033710 (Why is no real title available?)
• scientific article; zbMATH DE number 35415 (Why is no real title available?)
• scientific article; zbMATH DE number 41225 (Why is no real title available?)
• scientific article; zbMATH DE number 1761425 (Why is no real title available?)
• On Some Completeness Theorems in Modal Logic
• Topological reasoning and the logic of knowledge

Cited in

(62)

• A hybrid logic for reasoning about knowledge and topology
• A note on logics of ignorance and borders
• The logic of viewpoints
• Knowledge on treelike spaces
• Reverse public announcement operators on expanded models
• Logic, topology, and integration
• Topological reasoning and the logic of knowledge
• Temporal aspects of the modal logic of subset spaces
• Reusing topological nexttime logic
• Announcement as effort on topological spaces
• Pooling modalities and pointwise intersection: semantics, expressivity, and dynamics
• Hypergraphs, local reasoning, and weakly aggregative modal logic
• Modal systems for covering semantics and boundary operator
• A topological approach to full belief
• A Grim semantics for logics of belief
• Arbitrary public announcement logic with memory
• Logics for multi-subset spaces
• Updating knowledge using subsets
• Characterizing certain topological specifications
• A logic for belief contraction
• On Topologically Relevant Fragments of the Logic of Linear Flows of Time
• Logical dynamics of evidence
• An alternative logic for knowability
• Topological subset space models for public announcements
• Parikh and Wittgenstein
• Epistemic conditionals and the logic of subsets
• Logic and topology for knowledge, knowability, and belief. Extended abstract
• Logic and topology for knowledge, knowability, and belief
• Subset Space vs Relational Semantics of Bimodal Logic: Bringing Out the Difference
• Topological Semantics of Justification Logic
• Regarding overlaps in `topologic'
• The topology of justification
• The Cantor space as a generic model of topologically presented knowledge
• A Two-Dimensional Hybrid Logic of Subset Spaces
• Observational Effort and Formally Open Mappings
• A modal walk through space
• scientific article; zbMATH DE number 3924775 (Why is no real title available?)
• scientific article; zbMATH DE number 41225 (Why is no real title available?)
• scientific article; zbMATH DE number 1303728 (Why is no real title available?)
• scientific article; zbMATH DE number 1989648 (Why is no real title available?)
• Expressivity in polygonal, plane mereotopology
• scientific article; zbMATH DE number 2087690 (Why is no real title available?)
• Announcement as effort on topological spaces
• Uncertainty about evidence
• Augmenting subset spaces to cope with multi-agent knowledge
• Algebraic Methodology and Software Technology
• scientific article; zbMATH DE number 2196591 (Why is no real title available?)
• A dynamic logic for learning theory
• Topological modal logics satisfying finite chain conditions
• To be announced
• The epistemology of nondeterminism
• The logic of framing effects
• An Acceptance Semantics for Stable Modal Knowledge
• Dynamic logics of evidence-based beliefs
• Knowledge from probability
• Someone knows that local reasoning on hypergraphs is a weakly aggregative modal logic
• A semantics for modal language using a rough set model based on subset approximation structure
• Wanted dead or alive: epistemic logic for impure simplicial complexes
• From knowledge to action: logics of permitted and obligatory announcements
• Belief revision normalized
• Logic of justified beliefs based on argumentation
• Using hybrid logic for coping with functions in subset spaces

This page was built for publication: Topological reasoning and the logic of knowledge

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1919762)