The following pages link to Monodic temporal resolution (Q5277744):
Displayed 14 items.
- On temporal logics with data variable quantifications: decidability and complexity (Q342712) (← links)
- A calculus for automatic verification of Petri nets based on resolution and dynamic logics (Q530854) (← links)
- Bounded linear-time temporal logic: a proof-theoretic investigation (Q764266) (← links)
- Quantified epistemic logics for reasoning about knowledge in multi-agent systems (Q835839) (← links)
- Parameterized verification of leader/follower systems via first-order temporal logic (Q2149965) (← links)
- Theorem proving using clausal resolution: from past to present (Q2695485) (← links)
- Temporal Logics of Knowledge and their Applications in Security (Q2866724) (← links)
- A Cookbook for Temporal Conceptual Data Modelling with Description Logics (Q2946734) (← links)
- Undecidable Propositional Bimodal Logics and One-Variable First-Order Linear Temporal Logics with Counting (Q2957765) (← links)
- Temporal Verification of Fault-Tolerant Protocols (Q3623816) (← links)
- Harald Ganzinger’s Legacy: Contributions to Logics and Programming (Q4916069) (← links)
- First-Order Resolution Methods for Modal Logics (Q4916086) (← links)
- Fair Derivations in Monodic Temporal Reasoning (Q5191107) (← links)
- Refutation-aware Gentzen-style calculi for propositional until-free linear-time temporal logic (Q6067745) (← links)