Logic games are complete for game logics

DOI10.1023/A:1027306910434zbMath1040.03015MaRDI QIDQ1425187

J. F. A. K. van Benthem

Publication date: 15 March 2004

Published in: Studia Logica (Search for Journal in Brave)

zbMATH Keywords

dynamic logicpowerslogic gamegame algebra

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Related Items (8)

Games for active XML revisited ⋮ Using coalgebras and the Giry monad for interpreting game logics -- a tutorial ⋮ Transition semantics: the dynamics of dependence logic ⋮ A stochastic interpretation of game logic ⋮ INSTANTIAL NEIGHBOURHOOD LOGIC ⋮ Playing Savitch and Cooking Games ⋮ On Semantic Gamification ⋮ Modelling simultaneous games in dynamic logic

This page was built for publication: Logic games are complete for game logics