Topological Semantics of Justification Logic (Q3503622): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-540-79709-8_7
+Normal rank
@@ Property / OpenAlex ID @@
+W2108251248
@@ Property / OpenAlex ID: W2108251248 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic of proofs
@@ Property / cites work: Logic of proofs / rank @@
+Normal rank
@@ Property / cites work @@
+Explicit Provability and Constructive Semantics
@@ Property / cites work: Explicit Provability and Constructive Semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Kolmogorov and Gödel's approach to intuitionistic logic: current developments
+Normal rank
@@ Property / cites work @@
+Justified common knowledge
@@ Property / cites work: Justified common knowledge / rank @@
+Normal rank
@@ Property / cites work @@
+Introducing Justification into Epistemic Logic
@@ Property / cites work: Introducing Justification into Epistemic Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Topological Semantics of Justification Logic
@@ Property / cites work: Topological Semantics of Justification Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Completeness of S4 with respect to the real line: revisited
+Normal rank
@@ Property / cites work @@
+Topological reasoning and the logic of knowledge
@@ Property / cites work: Topological reasoning and the logic of knowledge / rank @@
+Normal rank
@@ Property / cites work @@
+Q4215636
@@ Property / cites work: Q4215636 / rank @@
+Normal rank
@@ Property / cites work @@
+The logic of proofs, semantically
@@ Property / cites work: The logic of proofs, semantically / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic topological logic
@@ Property / cites work: Dynamic topological logic / rank @@
+Normal rank
@@ Property / cites work @@
+The algebra of topology
@@ Property / cites work: The algebra of topology / rank @@
+Normal rank
@@ Property / cites work @@
+Some theorems about the sentential calculi of Lewis and Heyting
+Normal rank
@@ Property / cites work @@
+A proof of topological completeness for S4 in \((0,1)\)
+Normal rank
@@ Property / cites work @@
+Q4376067
@@ Property / cites work: Q4376067 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4396604
@@ Property / cites work: Q4396604 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4376078
@@ Property / cites work: Q4376078 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3371957
@@ Property / cites work: Q3371957 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic of proofs and provability
@@ Property / cites work: Logic of proofs and provability / rank @@
+Normal rank