Pages that link to "Item:Q1193476"
From MaRDI portal
The following pages link to A guide to completeness and complexity for modal logics of knowledge and belief (Q1193476):
Displaying 4 items.
- Exploring the future with resource-bounded agents (Q1006514) (← links)
- EXPtime tableaux for ALC (Q1589576) (← links)
- Strong completeness theorems for weak logics of common belief (Q1810818) (← links)
- Tableaux for logics of time and knowledge with interactions relating to synchrony (Q3647215) (← links)