Pages that link to "Item:Q4444910"

The following pages link to Propositional temporal logics: decidability and completeness (Q4444910):

Displaying 30 items.

• Invariant-free clausal temporal resolution (Q352974) (← links)
• Rules admissible in transitive temporal logic \(\mathrm{T}_{\mathrm{S}4}\), sufficient condition (Q606997) (← links)
• Tangled modal logic for topological dynamics (Q764267) (← links)
• Branching time logics \(\mathcal {BTL}^{\text{U,S}}_{\text{N},\text{N}^{-1}}(\mathcal {Z})_{\alpha }\) with operations \textit{Until} and \textit{Since} based on bundles of integer numbers, logical consecutions, deciding algorithms (Q929294) (← links)
• Cut-free sequent systems for temporal logic (Q941433) (← links)
• Non-deterministic semantics for dynamic topological logic (Q1006607) (← links)
• Dual systems of tableaux and sequents for PLTL (Q1035676) (← links)
• Finite-trace linear temporal logic: coinductive completeness (Q1667649) (← links)
• A propositional probabilistic logic with discrete linear time for reasoning about evidence (Q1928821) (← links)
• A decision procedure and complete axiomatization for projection temporal logic (Q1986563) (← links)
• One-pass and tree-shaped tableau systems for TPTL and \(\mathrm{TPTL_b+Past}\) (Q2029608) (← links)
• Compositional reasoning using intervals and time reversal (Q2251129) (← links)
• A goal-directed decision procedure for hybrid PDL (Q2351150) (← links)
• A survey on temporal logics for specifying and verifying real-time systems (Q2418645) (← links)
• A general tableau method for propositional interval temporal logics: theory and implementation (Q2506829) (← links)
• An alternating-time temporal logic with knowledge, perfect recall and past: axiomatisation and model-checking (Q2901208) (← links)
• Branching Time? Pruning Time! (Q2908510) (← links)
• A sound and complete axiomatization for Dynamic Topological Logic (Q2915900) (← links)
• (Q3384889) (← links)
• Embedding Linear-Time Temporal Logic into Infinitary Logic: Application to Cut-Elimination for Multi-agent Infinitary Epistemic Linear-Time Temporal Logic (Q3393380) (← links)
• Temporal Verification of Fault-Tolerant Protocols (Q3623816) (← links)
• Linear-time temporal logics with Presburger constraints: an overview ★ (Q3647243) (← links)
• The intuitionistic temporal logic of dynamical systems (Q4580328) (← links)
• Interval vs. Point Temporal Logic Model Checking (Q4617981) (← links)
• Model Theoretic Syntax and Parsing (Q4923571) (← links)
• Probabilistic Temporal Logics (Q5024714) (← links)
• COMPLETE INTUITIONISTIC TEMPORAL LOGICS FOR TOPOLOGICAL DYNAMICS (Q5100046) (← links)
• Dynamic topological logic of metric spaces (Q5388732) (← links)
• Exploring the Jungle of Intuitionistic Temporal Logics (Q6063858) (← links)
• Refutation-aware Gentzen-style calculi for propositional until-free linear-time temporal logic (Q6067745) (← links)