All finitely axiomatizable tense logics of linear time flows are coNP-complete (Q817685): Difference between revisions

@@ Property / cites work @@
+All normal extensions of S5-squared are finitely axiomatizable
+Normal rank
@@ Property / cites work @@
+All proper normal extensions of S5-square have the polynomial size model property
+Normal rank
@@ Property / cites work @@
+First-order logic with two variables and unary temporal logic
+Normal rank
@@ Property / cites work @@
+Q3835817
@@ Property / cites work: Q3835817 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3773852
@@ Property / cites work: Q3773852 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5483006
@@ Property / cites work: Q5483006 / rank @@
+Normal rank
@@ Property / cites work @@
+On the size of refutation Kripke models for some linear modal and tense logics
+Normal rank
@@ Property / cites work @@
+Q5556395
@@ Property / cites work: Q5556395 / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of propositional linear temporal logics
+Normal rank
@@ Property / cites work @@
+Q4833777
@@ Property / cites work: Q4833777 / rank @@
+Normal rank
@@ Property / cites work @@
+Tense Logic Without Tense Operators
@@ Property / cites work: Tense Logic Without Tense Operators / rank @@
+Normal rank
@@ Property / cites work @@
+All Finitely Axiomatizable Normal Extensions of K4.3 are Decidable
+Normal rank
@@ Property / cites work @@
+Q4789450
@@ Property / cites work: Q4789450 / rank @@
+Normal rank