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 11 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)
- Knowledge and approximations: a formal study under the perspective of information systems and rough set theory (Q2663553) (← links)
- Temporal Logics of Knowledge and their Applications in Security (Q2866724) (← 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)
- Logics for Temporal Information Systems in Rough Set Theory (Q5875942) (← links)