Bounded linear-time temporal logic: a proof-theoretic investigation (Q764266): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.apal.2011.12.002
+Normal rank
@@ Property / OpenAlex ID @@
+W2042951804
@@ Property / OpenAlex ID: W2042951804 / rank @@
+Normal rank
@@ Property / cites work @@
+Nonclausal deduction in first-order temporal logic
+Normal rank
@@ Property / cites work @@
+A proof-theoretic investigation of a logic of positions
+Normal rank
@@ Property / cites work @@
+An approach to infinitary temporal proof theory
@@ Property / cites work: An approach to infinitary temporal proof theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4215630
@@ Property / cites work: Q4215630 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3338212
@@ Property / cites work: Q3338212 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4938418
@@ Property / cites work: Q4938418 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3838808
@@ Property / cites work: Q3838808 / rank @@
+Normal rank
@@ Property / cites work @@
+Monodic temporal resolution
@@ Property / cites work: Monodic temporal resolution / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of propositional linear temporal logics in simple cases
+Normal rank
@@ Property / cites work @@
+Temporal resolution using a breadth-first search algorithm
+Normal rank
@@ Property / cites work @@
+Q4385542
@@ Property / cites work: Q4385542 / rank @@
+Normal rank
@@ Property / cites work @@
+First-order logic with two variables and unary temporal logic
+Normal rank
@@ Property / cites work @@
+Q4012170
@@ Property / cites work: Q4012170 / rank @@
+Normal rank
@@ Property / cites work @@
+Clausal temporal resolution
@@ Property / cites work: Clausal temporal resolution / rank @@
+Normal rank
@@ Property / cites work @@
+Decidable fragments of first-order temporal logics
+Normal rank
@@ Property / cites work @@
+Q4939409
@@ Property / cites work: Q4939409 / rank @@
+Normal rank
@@ Property / cites work @@
+Quantized linear logic, involutive quantales and strong negation
+Normal rank
@@ Property / cites work @@
+Linear and affine logics with temporal, spatial and epistemic operators
+Normal rank
@@ Property / cites work @@
+Q5460163
@@ Property / cites work: Q5460163 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5482597
@@ Property / cites work: Q5482597 / rank @@
+Normal rank
@@ Property / cites work @@
+Embedding Linear-Time Temporal Logic into Infinitary Logic: Application to Cut-Elimination for Multi-agent Infinitary Epistemic Linear-Time Temporal Logic
+Normal rank
@@ Property / cites work @@
+Combining linear-time temporal logic with constructiveness and paraconsistency
+Normal rank
@@ Property / cites work @@
+Sequential Calculus for a First Order Infinitary Temporal Logic
+Normal rank
@@ Property / cites work @@
+LAR: A logic of algorithmic reasoning
@@ Property / cites work: LAR: A logic of algorithmic reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Science Logic
@@ Property / cites work: Computer Science Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Uniform proofs as a foundation for logic programming
+Normal rank
@@ Property / cites work @@
+AN NP-COMPLETE FRAGMENT OF LTL
@@ Property / cites work: AN NP-COMPLETE FRAGMENT OF LTL / rank @@
+Normal rank
@@ Property / cites work @@
+Q4463936
@@ Property / cites work: Q4463936 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3496314
@@ Property / cites work: Q3496314 / rank @@
+Normal rank
@@ Property / cites work @@
+Investigation of finitary calculus for a discrete linear time logic by means of infinitary calculus
+Normal rank
@@ Property / cites work @@
+The complexity of propositional linear temporal logics
+Normal rank
@@ Property / cites work @@
+Q3327708
@@ Property / cites work: Q3327708 / rank @@
+Normal rank
@@ Property / cites work @@
+Concerning the semantic consequence relation in first-order temporal logic
+Normal rank
@@ Property / cites work @@
+Proof theory
@@ Property / cites work: Proof theory / rank @@
+Normal rank
@@ Property / cites work @@
+Constructivism in mathematics. An introduction. Volume I
+Normal rank
@@ Property / cites work @@
+Q3741614
@@ Property / cites work: Q3741614 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4219025
@@ Property / cites work: Q4219025 / rank @@
+Normal rank
@@ Property / cites work @@
+The logic of information structures
@@ Property / cites work: The logic of information structures / rank @@
+Normal rank
@@ Property / cites work @@
+Tableaux for constructive concurrent dynamic logic
+Normal rank