Pages that link to "Item:Q1090673"
From MaRDI portal
The following pages link to Concerning the semantic consequence relation in first-order temporal logic (Q1090673):
Displaying 27 items.
- On temporal logics with data variable quantifications: decidability and complexity (Q342712) (← links)
- A decidability result for the model checking of infinite-state systems (Q438572) (← links)
- Bounded linear-time temporal logic: a proof-theoretic investigation (Q764266) (← links)
- On the interpretability of arithmetic in temporal logic (Q915718) (← links)
- Arithmetical axiomatization of first-order temporal logic (Q1101100) (← links)
- A complete axiomatic characterization of first-order temporal logic of linear time (Q1102941) (← links)
- Incompleteness of first-order temporal logic with until (Q1123184) (← links)
- Programming in metric temporal logic (Q1128978) (← links)
- Completeness of a first-order temporal logic with time-gaps (Q1350524) (← links)
- Multi-dimensional logic programming: theoretical foundations (Q1390957) (← links)
- Infinitary calculus for a restricted first-order linear temporal logic without contraction on quantified formulas (Q1589838) (← links)
- Decidable fragments of first-order temporal logics (Q1591203) (← links)
- Saturated calculus for Horn-like sequents of a complete class of a linear temporal first order logic (Q1807462) (← links)
- On strictly arithmetical completeness in logics of programs (Q2277248) (← links)
- A structured temporal logic language: XYZ/SE (Q2277863) (← links)
- Mechanising first-order temporal resolution (Q2486579) (← links)
- Invertible infinitary calculus without loop rules for restricted FTL (Q2577594) (← links)
- Undecidable Propositional Bimodal Logics and One-Variable First-Order Linear Temporal Logics with Counting (Q2957765) (← links)
- Embedding Linear-Time Temporal Logic into Infinitary Logic: Application to Cut-Elimination for Multi-agent Infinitary Epistemic Linear-Time Temporal Logic (Q3393380) (← links)
- A note on infinitary continuous logic (Q3460523) (← links)
- Replacement of Induction by Similarity Saturation in a First Order Linear Temporal Logic (Q4236063) (← links)
- Decidability and incompleteness results for first-order temporal logics of linear time (Q4275689) (← links)
- Investigation of finitary calculus for a discrete linear time logic by means of infinitary calculus (Q4560364) (← links)
- Foundations of linear-time logic programming (Q4876388) (← links)
- Undecidability of QLTL and QCTL with two variables and one monadic predicate letter (Q5059700) (← links)
- Proof-theoretical investigation of temporal logic with time gaps (Q5930981) (← links)
- Refutation-aware Gentzen-style calculi for propositional until-free linear-time temporal logic (Q6067745) (← links)
