Resolution for temporal logics of knowledge
From MaRDI portal
Recommendations
- A resolution-based proof method for temporal logics of knowledge and belief
- scientific article; zbMATH DE number 67448
- Resolution-based calculi for modal and temporal logics
- scientific article; zbMATH DE number 3974944
- Search strategies for resolution in temporal logics
- Knowledge representation, reasoning and integration using temporal logic with clocks
- Temporal Logics
- scientific article; zbMATH DE number 1754689
- Logics of temporal-epistemic actions
- Modelling and solving temporal reasoning as propositional satisfiability
Cited in
(15)- Clausal resolution in a logic of rational agency
- Sequent calculi for branching time temporal logics of knowledge and beliefwith awareness: completeness and decidability
- A sequent calculus for logic of knowledge and past time: completeness and decidability
- Mechanising first-order temporal resolution
- Alternating automata and temporal logic normal forms
- Using temporal logics of knowledge for specification and verification -- a case study
- Temporal logics of knowledge and their applications in security
- Playing cards with Hintikka: an introduction to dynamic epistemic logic
- Tableaux for logics of time and knowledge with interactions relating to synchrony
- scientific article; zbMATH DE number 67448 (Why is no real title available?)
- Removing irrelevant information in temporal resolution proofs
- scientific article; zbMATH DE number 1530250 (Why is no real title available?)
- A resolution-based proof method for temporal logics of knowledge and belief
- Search strategies for resolution in temporal logics
- First-order temporal verification in practice
This page was built for publication: Resolution for temporal logics of knowledge
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4209289)
