Topology and Epistemic Logic (original) (raw)
Related papers
Logic and Topology for Knowledge, Knowability, and Belief - Extended Abstract
Electronic Proceedings in Theoretical Computer Science
Logic and Topology for Knowledge, Knowability, and Belief
The Review of Symbolic Logic, 2019
The Relationship between the Topological Properties and Common Modal Logics
The McKinsey-Tarski Theorem for Topological Evidence Logics
Logic, Language, Information, and Computation
A Topological Approach to Full Belief
Journal of Philosophical Logic
Generic Models for Topological Evidence Logics
2018
Knowledge theoretic properties of topological spaces
Knowledge Representation and Reasoning Under …, 1994
The Topological Theory of Belief
N. Bezhanishvili, Aybuke Ozgun, Sonja Smets
2015
Topological Models for Belief and Belief Revision Msc in Logic
TOPOLOGICAL ASPECTS OF EPISTEMOLOGY AND METAPHYSICS
2019
Topological Subset Space Models for Belief
ArXiv, 2016
Characterization of Boolean Topological Logics Short Form: Boolean Topological Logics
2006
Topology, connectedness, and modal logic
2008
Experiments in Theorem Proving for Topological Hybrid Logic
2009
Logics for topological reasoning
12th European Summer School in Logic, Language …
Interpreting Topological Logics over Euclidean Spaces
Principles of Knowledge Representation and Reasoning, 2010
Completeness and Doxastic Plurality for Topological Operators of Knowledge and Belief
Erkenntnis
Modal logic S4 as a paraconsistent logic with a topological semantics
Marcelo Esteban Coniglio, Leonardo Prieto-Sanabria
Logic and Computation: Essays in Honour of Amilcar Sernadas, 2017
2012
Topological Interpretations of Provability Logic
Outstanding Contributions to Logic, 2014
Topo-Logic as a dynamic-epistemic logic
Alexandru Baltag, Aybuke Ozgun
A logic for metric and topology
The Journal of Symbolic Logic, 2005
The Topology of Full and Weak Belief
Sonja Smets, N. Bezhanishvili, Aybuke Ozgun
2015
Topological Completeness for Higher-Order Logic
1998
Logical topologies and semantic completeness
1999
Algebraisable versions of predicate topological logic
The Topology of Belief, Belief Revision and Defeasible Knowledge
Lecture Notes in Computer Science, 2013