Pages that link to "Item:Q456722"
From MaRDI portal
The following pages link to An analytic tableau calculus for a temporalised belief logic (Q456722):
Displaying 5 items.
- An omniscience-free temporal logic of knowledge for verifying authentication protocols (Q1734134) (← links)
- (Q3594284) (← links)
- A Tableau-Based Proof Method for Temporal Logics of Knowledge and Belief (Q4236067) (← links)
- Tableau Development for a Bi-intuitionistic Tense Logic (Q5410499) (← links)
- Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making (Q5463920) (← links)