Der Verband der normalen verzweigten Modallogiken (Q599049): Difference between revisions

@@ Property / author @@
-Wolfgang Rautenberg
@@ Property / author: Wolfgang Rautenberg / rank @@
-Normal rank
@@ Property / author @@
+Wolfgang Rautenberg
@@ Property / author: Wolfgang Rautenberg / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q4137166
@@ Property / cites work: Q4137166 / rank @@
+Normal rank
@@ Property / cites work @@
+An incomplete logic containing S4
@@ Property / cites work: An incomplete logic containing S4 / rank @@
+Normal rank
@@ Property / cites work @@
+Investigations in modal and tense logics with applications to problems in philosophy and linguistics
+Normal rank
@@ Property / cites work @@
+Q4128788
@@ Property / cites work: Q4128788 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4088789
@@ Property / cites work: Q4088789 / rank @@
+Normal rank
@@ Property / cites work @@
+Boolean Algebras with Operators. Part I
@@ Property / cites work: Boolean Algebras with Operators. Part I / rank @@
+Normal rank
@@ Property / cites work @@
+Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
+Normal rank
@@ Property / cites work @@
+A proof of Baker's finite-base theorem on equational classes generated by finite elements of congruence distributive varieties
+Normal rank
@@ Property / cites work @@
+Q4068699
@@ Property / cites work: Q4068699 / rank @@
+Normal rank
@@ Property / cites work @@
+Extensions of the Lewis system S5
@@ Property / cites work: Extensions of the Lewis system S5 / rank @@
+Normal rank
@@ Property / cites work @@
+Semantic analysis of tense logics
@@ Property / cites work: Semantic analysis of tense logics / rank @@
+Normal rank
@@ Property / cites work @@
+An incompleteness theorem in modal logic
@@ Property / cites work: An incompleteness theorem in modal logic / rank @@
+Normal rank