Pages that link to "Item:Q1357377"
From MaRDI portal
The following pages link to Game logic and its applications. II (Q1357377):
Displaying 16 items.
- Kripke completeness of infinitary predicate multimodal logics (Q701294) (← links)
- Quantified epistemic logics for reasoning about knowledge in multi-agent systems (Q835839) (← links)
- Reasoning about knowledge, belief and certainty in hierarchical multi-agent systems (Q1712550) (← links)
- About cut elimination for logics of common knowledge (Q1772772) (← links)
- Epistemic considerations of decision making in games (Q1806301) (← links)
- From semantic games to provability: the case of Gödel logic (Q2118973) (← links)
- From truth degree comparison games to sequents-of-relations calculi for Gödel logic (Q2169133) (← links)
- Semantics for intuitionistic epistemic logics of shallow depths for game theory (Q2376985) (← links)
- Evaluations of epistemic components for resolving the muddy children puzzle (Q2376999) (← links)
- (Q3346126) (← links)
- Embedding Linear-Time Temporal Logic into Infinitary Logic: Application to Cut-Elimination for Multi-agent Infinitary Epistemic Linear-Time Temporal Logic (Q3393380) (← links)
- Common knowledge logic and game logic (Q4262577) (← links)
- Epistemic models of shallow depths and decision making in games: Horticulture (Q4457730) (← links)
- (Q5184881) (← links)
- SMALL INFINITARY EPISTEMIC LOGICS (Q5216976) (← links)
- Embedding theorems for LTL and its variants (Q5740619) (← links)