Game semantics for constructive modal logic

DOI10.1007/978-3-030-86059-2_25OpenAlexW3198184098MaRDI QIDQ2142094

Davide Catta, Matteo Acclavio, Lutz Straßburger

Publication date: 25 May 2022

Full work available at URL: https://hal.inria.fr/hal-03369819/file/Tableaux2021-Paper27.pdf

Mathematics Subject Classification ID

Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Uses Software

• MiniML

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Cut-free Gentzen calculus for multimodal CK
• Deep sequent systems for modal logic
• Modal logics for knowledge representation systems
• Propositional lax logic
• On an intuitionistic modal logic
• Games and full abstraction for FPC.
• On full abstraction for PCF: I, II and III
• A modal analysis of staged computation
• Call-by-Name and Call-by-Value in Normal Modal Logic
• Bidirectional Decision Procedures for the Intuitionistic Propositional Modal Logic IS4
• Cut Elimination in Nested Sequents for Intuitionistic Modal Logics
• Quasi-Open Bisimilarity with Mismatch is Intuitionistic

This page was built for publication: Game semantics for constructive modal logic