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

@@ Property / Mathematics Subject Classification ID @@
+B53
@@ Property / Mathematics Subject Classification ID: 03B53 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6384562
@@ Property / zbMATH DE Number: 6384562 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+paraconsistent logic
@@ Property / zbMATH Keywords: paraconsistent logic / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+topological semantics
@@ Property / zbMATH Keywords: topological semantics / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+modal logic
@@ Property / zbMATH Keywords: modal logic / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q56341526
@@ Property / Wikidata QID: Q56341526 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s11229-013-0246-8
+Normal rank
@@ Property / OpenAlex ID @@
+W2144334056
@@ Property / OpenAlex ID: W2144334056 / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:484905