The following pages link to (Q3710510):
Displaying 50 items.
- A tableau-based decision procedure for CTL\(^*\) (Q432138) (← links)
- Explaining counterexamples using causality (Q453516) (← links)
- Interval logics and their decision procedures. I: An interval logic (Q671639) (← links)
- Interval logics and their decision procedures. II: A real-time interval logic (Q672040) (← links)
- An optimal decision procedure for right propositional neighborhood logic (Q877892) (← links)
- Linear temporal logic as an executable semantics for planning languages (Q1006453) (← links)
- Programming in metric temporal logic (Q1128978) (← links)
- TABLEAUX: A general theorem prover for modal logics (Q1181709) (← links)
- The saturated tableaux for linear miniscope Horn-like temporal logic (Q1344880) (← links)
- Safraless LTL synthesis considering maximal realizability (Q1674867) (← links)
- An explicit transition system construction approach to LTL satisfiability checking (Q1707341) (← links)
- Saturated calculus for Horn-like sequents of a complete class of a linear temporal first order logic (Q1807462) (← links)
- Temporalising tableaux (Q1826368) (← links)
- Rasiowa-Sikorski deduction systems in computer science applications. (Q1853457) (← links)
- One-pass and tree-shaped tableau systems for TPTL and \(\mathrm{TPTL_b+Past}\) (Q2029608) (← links)
- Event-based time-stamped claim logic (Q2043818) (← links)
- Tableaux and sequent calculi for \textsf{CTL} and \textsf{ECTL}: satisfiability test with certifying proofs and models (Q2095426) (← links)
- Loop-check specification for a sequent calculus of temporal logic (Q2106881) (← links)
- Loop-type sequent calculi for temporal logic (Q2228437) (← links)
- A general tableau method for propositional interval temporal logics: theory and implementation (Q2506829) (← links)
- Invertible infinitary calculus without loop rules for restricted FTL (Q2577594) (← links)
- A tableau construction for finite linear-time temporal logic (Q2669249) (← links)
- Tableau methods for modal and temporal logics (Q2753601) (← links)
- Tableau method and NEXPTIME-completeness of DEL-sequents (Q2825404) (← links)
- Designing tableau-like axiomatization for propositional linear temporal logic at home of Arthur Prior (Q2880593) (← links)
- (Q3384170) (← links)
- Generalized Qualitative Spatio-Temporal Reasoning: Complexity and Tableau Method (Q3455761) (← links)
- Tableaux for Single-Agent Epistemic PDL with Perfect Recall and No Miracles (Q3457707) (← links)
- Tableau-Based Procedure for Deciding Satisfiability in the Full Coalitional Multiagent Epistemic Logic (Q3605530) (← links)
- A Labeled Natural Deduction System for a Fragment of CTL * (Q3605539) (← links)
- Realizability of Real-Time Logics (Q3648828) (← links)
- Deductive verification of simple foraging robotic behaviours (Q3653523) (← links)
- (Q3838807) (← links)
- A Tableau-Based Proof Method for Temporal Logics of Knowledge and Belief (Q4236067) (← links)
- Proving correctness of labeled transition systems by semantic tableaux (Q4610332) (← links)
- A tableau calculus for first-order branching time logic (Q4632314) (← links)
- Search strategies for resolution in temporal logics (Q4647556) (← links)
- A Tableau Calculus for Temporal Description Logic: the Expanding Domain Case (Q4779588) (← links)
- Model Theoretic Syntax and Parsing (Q4923571) (← links)
- Finite sequent calculi for PLTL (Q5040746) (← links)
- A derivation-loop method for temporal logic (Q5040806) (← links)
- More efficient proof-search for sequents of temporal logic (Q5058432) (← links)
- (Q5224785) (← links)
- Similarity saturation for first order linear temporal logic with UNLESS (Q5236443) (← links)
- Optimal Tableau Method for Constructive Satisfiability Testing and Model Synthesis in the Alternating-Time Temporal Logic ATL <sup>+</sup> (Q5277905) (← links)
- Tableau Development for a Bi-intuitionistic Tense Logic (Q5410499) (← links)
- One-pass Context-based Tableaux Systems for CTL and ECTL (Q6060101) (← links)
- Tableaux for realizability of safety specifications (Q6174549) (← links)
- Automated temporal reasoning about reactive systems (Q6560389) (← links)
- SAT meets tableaux for linear temporal logic satisfiability (Q6611959) (← links)
