Pages that link to "Item:Q4236067"
From MaRDI portal
The following pages link to A Tableau-Based Proof Method for Temporal Logics of Knowledge and Belief (Q4236067):
Displayed 8 items.
- Clausal resolution in a logic of rational agency (Q1606116) (← links)
- Sequent calculi for branching time temporal logics of knowledge and beliefwith awareness: completeness and decidability (Q2376368) (← links)
- A sequent calculus for logic of knowledge and past time: completeness and decidability (Q2471643) (← links)
- Using temporal logics of knowledge for specification and verification -- a case study (Q2494726) (← links)
- A general tableau method for propositional interval temporal logics: theory and implementation (Q2506829) (← links)
- Embedding Linear-Time Temporal Logic into Infinitary Logic: Application to Cut-Elimination for Multi-agent Infinitary Epistemic Linear-Time Temporal Logic (Q3393380) (← links)
- Tableaux for logics of time and knowledge with interactions relating to synchrony (Q3647215) (← links)
- Taming the Complexity of Temporal Epistemic Reasoning (Q3655200) (← links)