All finitely axiomatizable tense logics of linear time flows are coNP-complete (Q817685): 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/s11225-005-3702-8
+Normal rank
@@ Property / OpenAlex ID @@
+W1996365374
@@ Property / OpenAlex ID: W1996365374 / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:817685