Some topological properties of paraconsistent models (Q484905): Difference between revisions

@@ Property / cites work @@
+Handbook of Spatial Logics
@@ Property / cites work: Handbook of Spatial Logics / rank @@
+Normal rank
@@ Property / cites work @@
+A ModalWalk Through Space
@@ Property / cites work: A ModalWalk Through Space / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning About Space: The Modal Way
@@ Property / cites work: Reasoning About Space: The Modal Way / rank @@
+Normal rank
@@ Property / cites work @@
+Public Announcement Logic in Geometric Frameworks
@@ Property / cites work: Public Announcement Logic in Geometric Frameworks / rank @@
+Normal rank
@@ Property / cites work @@
+Q4440796
@@ Property / cites work: Q4440796 / rank @@
+Normal rank
@@ Property / cites work @@
+Paraconsistent logic from a modal viewpoint
@@ Property / cites work: Paraconsistent logic from a modal viewpoint / rank @@
+Normal rank
@@ Property / cites work @@
+Q2744124
@@ Property / cites work: Q2744124 / rank @@
+Normal rank
@@ Property / cites work @@
+Modal languages for topology: expressivity and definability
+Normal rank
@@ Property / cites work @@
+On the theory of inconsistent formal systems
@@ Property / cites work: On the theory of inconsistent formal systems / rank @@
+Normal rank
@@ Property / cites work @@
+Philosophy of logic
@@ Property / cites work: Philosophy of logic / rank @@
+Normal rank
@@ Property / cites work @@
+Notes on the model theory of DeMorgan logics
@@ Property / cites work: Notes on the model theory of DeMorgan logics / rank @@
+Normal rank
@@ Property / cites work @@
+The Logic of Contradiction
@@ Property / cites work: The Logic of Contradiction / 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 @@
+On closed elements in closure algebras
@@ Property / cites work: On closed elements in closure algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q2703802
@@ Property / cites work: Q2703802 / rank @@
+Normal rank
@@ Property / cites work @@
+Topological separation principles and logical theories
+Normal rank
@@ Property / cites work @@
+Q4518818
@@ Property / cites work: Q4518818 / rank @@
+Normal rank
@@ Property / cites work @@
+The logic of paradox
@@ Property / cites work: The logic of paradox / rank @@
+Normal rank
@@ Property / cites work @@
+Applications of Kripke models to Heyting-Brouwer logic
+Normal rank
@@ Property / cites work @@
+Dynamic Epistemic Logic and Knowledge Puzzles
@@ Property / cites work: Dynamic Epistemic Logic and Knowledge Puzzles / rank @@
+Normal rank