Pages that link to "Item:Q1096609"
From MaRDI portal
The following pages link to Interpreting logics of knowledge in propositional dynamic logic (Q1096609):
Displaying 5 items.
- Some simulation results as to weakly correlated processes (Q1096972) (← links)
- The complexity of reasoning about knowledge and time. I: Lower bounds (Q1119565) (← links)
- TABLEAUX: A general theorem prover for modal logics (Q1181709) (← links)
- A guide to completeness and complexity for modal logics of knowledge and belief (Q1193476) (← links)
- A PDL-Like Logic of Knowledge Acquisition (Q3499772) (← links)