Can I read Games for Hybrid Logic -- From Semantic Games to Analytic Calculi on EtoBox?

Games for Hybrid Logic -- From Semantic Games to Analytic Calculi by Freiman, Robert is a scholarly article available to read on EtoBox.

What is Games for Hybrid Logic -- From Semantic Games to Analytic Calculi about?

Game semantics and winning strategies offer a potential conceptual bridge between semantics and proof systems of logics. We illustrate this link for hybrid logic -- an extension of modal logic that allows for explicit reference to worlds within the language. The main result is that the systematic search of winning strategies over all models can be finitized and thus reformulated as a proof system.

Author

Freiman, Robert

Published

2022

Language

EN