The following pages link to Modal logic as dialogical logic (Q5946352):
Displaying 13 items.
- Logics for belief as maximally plausible possibility (Q831224) (← links)
- Non-deterministic logic of informal provability has no finite characterization (Q2071578) (← links)
- Games for hybrid logic. From semantic games to analytic calculi (Q2148784) (← links)
- Logics for multi-subset spaces (Q2901196) (← links)
- Epistemic planning for single- and multi-agent systems (Q2901205) (← links)
- Families of the Granules for Association Rules and Their Properties (Q3300360) (← links)
- ERRATUM: "RATIONAL DYNAMICS AND EPISTEMIC LOGIC IN GAMES" (Q3502827) (← links)
- Establishing Connections between Aristotle's Natural Deduction and First-Order Logic (Q3615005) (← links)
- Functional systems in the context of temporal×modal logics with indexed flows (Q3643153) (← links)
- Why does the proof-theory of hybrid logic work so well? (Q3647283) (← links)
- RATIONAL DYNAMICS AND EPISTEMIC LOGIC IN GAMES (Q5294339) (← links)
- A Road Map of Interval Temporal Logics and Duration Calculi (Q5902189) (← links)
- A Road Map of Interval Temporal Logics and Duration Calculi (Q5902190) (← links)
