A note on the complexity of S4.2 (Q5156186): Difference between revisions

@@ Property / cites work @@
+Computational Complexity
@@ Property / cites work: Computational Complexity / rank @@
+Normal rank
@@ Property / cites work @@
+Q2744124
@@ Property / cites work: Q2744124 / rank @@
+Normal rank
@@ Property / cites work @@
+Modalities and multimodalities. With the assistance and collaboration of Juliana Bueno-Soler.
+Normal rank
@@ Property / cites work @@
+Q3128959
@@ Property / cites work: Q3128959 / rank @@
+Normal rank
@@ Property / cites work @@
+A quick guided tour to the modal logic S4.2
@@ Property / cites work: A quick guided tour to the modal logic S4.2 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4935259
@@ Property / cites work: Q4935259 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4530231
@@ Property / cites work: Q4530231 / rank @@
+Normal rank
@@ Property / cites work @@
+Kripke's worlds. An introduction to modal logics via tableaux
+Normal rank
@@ Property / cites work @@
+Q4295875
@@ Property / cites work: Q4295875 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2753601
@@ Property / cites work: Q2753601 / rank @@
+Normal rank
@@ Property / cites work @@
+The effect of bounding the number of primitive propositions and the depth of nesting on the complexity of modal logic
+Normal rank
@@ Property / cites work @@
+A guide to completeness and complexity for modal logics of knowledge and belief
+Normal rank
@@ Property / cites work @@
+The modal logic of forcing
@@ Property / cites work: The modal logic of forcing / rank @@
+Normal rank
@@ Property / cites work @@
+Computability and complexity theory.
@@ Property / cites work: Computability and complexity theory. / rank @@
+Normal rank
@@ Property / cites work @@
+Q4698331
@@ Property / cites work: Q4698331 / rank @@
+Normal rank
@@ Property / cites work @@
+The Computational Complexity of Provability in Systems of Modal Propositional Logic
+Normal rank
@@ Property / cites work @@
+Q4180316
@@ Property / cites work: Q4180316 / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Science Logic
@@ Property / cites work: Computer Science Logic / rank @@
+Normal rank
@@ Property / cites work @@
+The Complexity of Model Checking for Intuitionistic Logics and Their Modal Companions
+Normal rank
@@ Property / cites work @@
+Q4298260
@@ Property / cites work: Q4298260 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5483013
@@ Property / cites work: Q5483013 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4833777
@@ Property / cites work: Q4833777 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4131648
@@ Property / cites work: Q4131648 / rank @@
+Normal rank