Pages that link to "Item:Q4262577"
From MaRDI portal
The following pages link to Common knowledge logic and game logic (Q4262577):
Displaying 5 items.
- About cut elimination for logics of common knowledge (Q1772772) (← links)
- Epistemic considerations of decision making in games (Q1806301) (← links)
- Strong completeness theorems for weak logics of common belief (Q1810818) (← links)
- Mechanizing common knowledge logic using COQ (Q2643149) (← links)
- Embedding Linear-Time Temporal Logic into Infinitary Logic: Application to Cut-Elimination for Multi-agent Infinitary Epistemic Linear-Time Temporal Logic (Q3393380) (← links)
