Modular games for coalgebraic fixed point logics

DOI10.1016/J.ENTCS.2008.05.020MaRDI QIDQ2873663zbMATH OpenOpenAlexFDO

Authors Mehrnoosh Sadrzadeh, Corina Cîrstea

Publication date 24 January 2014

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2008.05.020

zbMATH Keywords

coalgebrafixed point logicmodal logicparity games

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Games involving graphs (91A43)

Recommendations

• A note on the coalgebraic interpretation of game logic
• Modular construction of complete coalgebraic logics
• CONCUR 2004 - Concurrency Theory
• Completeness for coalgebraic fixpoint logic
• Modularity in coalgebra

Cites work

• A compositional approach to defining logics for coalgebras
• A logic for reasoning about time and reliability
• A noninterleaving model of concurrency based on transition systems with spatial structure
• Alternating tree automata, parity games, and modal -calculus
• Anytime, anywhere: modal logics for mobile ambients
• Automata and fixed point logic: a coalgebraic perspective
• Automata for the modal -calculus and related results
• Automata, logics, and infinite games. A guide to current research
• Coalgebraic Epistemic Update Without Change of Model
• Coalgebraic logic
• Coalgebraic modal logic: soundness, completeness and decidability of local consequence
• Decidability of DPDA equivalence
• Fixed point characterization of infinite behavior of finite-state systems
• Foundations of Software Science and Computational Structures
• scientific article; zbMATH DE number 1497882 (Why is no real title available?)
• Logics for epistemic programs
• Modular construction of complete coalgebraic logics
• Probabilistic extensions of process algebras.
• Results on the propositional \(\mu\)-calculus

Cited in

(7)

• Coinductive predicates and final sequences in a fibration
• Generic infinite traces and path-based coalgebraic temporal logics
• A note on the coalgebraic interpretation of game logic
• EXPTIME Tableaux for the Coalgebraic μ-Calculus
• Coinductive predicates and final sequences in a fibration
• Games for topological fixpoint logic
• Maximal traces and path-based coalgebraic temporal logics

This page was built for publication: Modular games for coalgebraic fixed point logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2873663)