We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs

Change to browse by:

References & Citations

DBLP - CS Bibliography

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Logic in Computer Science

Title: Games for Hybrid Logic -- From Semantic Games to Analytic Calculi

Abstract: 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.
Comments: 17 pages, 2 figures, WoLLIC
Subjects: Logic in Computer Science (cs.LO)
MSC classes: 91A05, 91A10, 91A18, 91A80, 03B60, 03F03
ACM classes: F.4.1
Journal reference: LNTCS,volume 13038, 2021
DOI: 10.1007/978-3-030-88853-4_9
Cite as: arXiv:2206.00349 [cs.LO]
  (or arXiv:2206.00349v1 [cs.LO] for this version)

Submission history

From: Robert Freiman [view email]
[v1] Wed, 1 Jun 2022 09:33:31 GMT (41kb)

Link back to: arXiv, form interface, contact.