Pages that link to "Item:Q4209289"
From MaRDI portal
The following pages link to Resolution for temporal logics of knowledge (Q4209289):
Displaying 13 items.
- First-order temporal verification in practice (Q851137) (← links)
- 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)
- Mechanising first-order temporal resolution (Q2486579) (← links)
- Alternating automata and temporal logic normal forms (Q2488275) (← links)
- Using temporal logics of knowledge for specification and verification -- a case study (Q2494726) (← links)
- Temporal logics of knowledge and their applications in security (Q2866724) (← links)
- Playing Cards with Hintikka: An Introduction to Dynamic Epistemic Logic (Q3299578) (← links)
- Tableaux for logics of time and knowledge with interactions relating to synchrony (Q3647215) (← links)
- (Q4012170) (← links)
- Removing irrelevant information in temporal resolution proofs (Q4421286) (← links)
- Search strategies for resolution in temporal logics (Q4647556) (← links)