Alternative Semantics for Visser’s Propositional Logics (Q3455192): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-662-46906-4_15
+Normal rank
@@ Property / OpenAlex ID @@
+W1059541196
@@ Property / OpenAlex ID: W1059541196 / rank @@
+Normal rank
@@ Property / cites work @@
+Handbook of Spatial Logics
@@ Property / cites work: Handbook of Spatial Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Spectral and T 0-Spaces in d-Semantics
@@ Property / cites work: Spectral and T 0-Spaces in d-Semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Q2744124
@@ Property / cites work: Q2744124 / rank @@
+Normal rank
@@ Property / cites work @@
+Infinitary combinatorics and modal logic
@@ Property / cites work: Infinitary combinatorics and modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Weak Logics with Strict Implication
@@ Property / cites work: Weak Logics with Strict Implication / rank @@
+Normal rank
@@ Property / cites work @@
+Q4424659
@@ Property / cites work: Q4424659 / rank @@
+Normal rank
@@ Property / cites work @@
+Intuitionistic logic and modality via topology
@@ Property / cites work: Intuitionistic logic and modality via topology / rank @@
+Normal rank
@@ Property / cites work @@
+A Tree-Sequent Calculus for a Natural Predicate Extension of Visser's Propositional Logic
+Normal rank
@@ Property / cites work @@
+Tree-Sequent Methods for Subintuitionistic Predicate Logics
+Normal rank
@@ Property / cites work @@
+Some theorems about the sentential calculi of Lewis and Heyting
+Normal rank
@@ Property / cites work @@
+Basic predicate calculus
@@ Property / cites work: Basic predicate calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q4487297
@@ Property / cites work: Q4487297 / rank @@
+Normal rank
@@ Property / cites work @@
+Speaking about transitive frames in propositional languages
+Normal rank
@@ Property / cites work @@
+A propositional logic with explicit fixed points
@@ Property / cites work: A propositional logic with explicit fixed points / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3455192