Cover Image

Game semantics for lattice-based modal μ-calculus

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Ding, Yiwen, Manoorkar, Krishna, Panettiere, Mattia, Tzimoulis, Apostolos, Wang, Ruoding
Format:	Preprint
Published:	2023
Subjects:	Logic
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Toward the van Benthem Characterization Theorem for Non-Distributive Modal Logic
by: Ding, Yiwen, et al.
Published: (2024)

Normative implications
by: De Domenico, Andrea, et al.
Published: (2025)

Query Answering in Lattice-based Description Logic
by: Manoorkar, Krishna, et al.
Published: (2024)

Labelled calculi for lattice-based modal logics
by: van der Berg, Ineke, et al.
Published: (2024)

Defeasible Reasoning on Concepts
by: Ding, Yiwen, et al.
Published: (2024)

Modal reduction principles: a parametric shift to graphs
by: Conradie, Willem, et al.
Published: (2024)

Questions as cognitive filters
by: Conradie, Willem, et al.
Published: (2025)

Fuzzy Lattice-based Description Logic
by: Ding, Yiwen, et al.
Published: (2025)

Correspondence and Inverse Correspondence for Input/Output Logic and Region-Based Theories of Space
by: De Domenico, Andrea, et al.
Published: (2024)

Game semantics for the constructive $μ$-calculus
by: Pacheco, Leonardo
Published: (2023)

Obligations and permissions on selfextensional logics
by: De Domenico, Andrea, et al.
Published: (2024)

Obligations and permissions, algebraically
by: De Domenico, Andrea, et al.
Published: (2024)

Labelled calculi for the logics of rough concepts
by: van der Berg, Ineke, et al.
Published: (2024)

Canonical Extensions of Quantale-Enriched Categories
by: Kurz, Alexander, et al.
Published: (2026)

Non-distributive description logic
by: van der Berg, Ineke, et al.
Published: (2023)

Flexible categorization using formal concept analysis and Dempster-Shafer theory
by: Boersma, Marcel, et al.
Published: (2024)

Unified inverse correspondence for LE-logics
by: Palmigiano, Alessandra, et al.
Published: (2024)

A proof-theoretic approach to abstract interpretation
by: D'Silva, Vijay, et al.
Published: (2026)

The Constructive $μ$-calculus: Game Semantics and Non-Wellfounded Proof Systems
by: Pacheco, Leonardo
Published: (2026)

Modular constructive Lyndon interpolation for nondistributive logics
by: De Domenico, Andrea, et al.
Published: (2026)

On the cut-elimination of the modal $μ$-calculus: Linear Logic to the rescue
by: Bauer, Esaïe, et al.
Published: (2025)

Algebraic proof theory for LE-logics
by: Greco, Giuseppe, et al.
Published: (2018)

Interpolation for the two-way modal mu-calculus
by: Kloibhofer, Johannes, et al.
Published: (2025)

Cut-elimination for the alternation-free modal mu-calculus
by: Afshari, Bahareh, et al.
Published: (2025)

On semantics of first-order justification logic with binding modalities
by: Yavorskaya, Tatiana, et al.
Published: (2025)

Knowledge on a Budget
by: Majer, Ondrej, et al.
Published: (2026)

Bilateral base-extension semantics
by: Barroso-Nascimento, Victor, et al.
Published: (2025)

Provability interpretation of non-normal modal logics having neighborhood semantics
by: Kogure, Haruka
Published: (2025)

Formula size game and model checking for modal substitution calculus
by: Ahvonen, Veeti, et al.
Published: (2025)

Twist-structures isomorphic to modal Nelson lattices
by: Menchón, Paula, et al.
Published: (2025)

Demystifying $μ$
by: Afshari, Bahareh, et al.
Published: (2024)

S4 modal sequent calculus as intermediate logic and intermediate language
by: Caspar, Jean, et al.
Published: (2026)

Superamalgamation for modal lattices via non-distributive dualities
by: Almeida, Rodrigo Nicolau, et al.
Published: (2026)

Operational semantics and program verification using many-sorted hybrid modal logic
by: Leustean, Ioana, et al.
Published: (2019)

Denotational semantics driven simplicial homology?
by: Barbarossa, Davide
Published: (2024)

Filling in the semantics for intuitionistic conditional logic
by: Dufty, Brendan, et al.
Published: (2025)

A comparison of three kinds of monotonic proof-theoretic semantics and the base-incompleteness of intuitionistic logic
by: d'Aragona, Antonio Piccolomini
Published: (2025)

Relational semantics for flat Heyting-Lewis Logic
by: de Groot, Jim, et al.
Published: (2026)

Normalization properties of $λμ$-calculus using realizability semantics
by: Battyanyi, Peter, et al.
Published: (2023)

A concrete model for a typed linear algebraic lambda calculus
by: Díaz-Caro, Alejandro, et al.
Published: (2018)