Compositional Reasoning for Multi-modal Logics
From MaRDI portal
Publication:3455830
DOI10.1007/978-3-642-35722-0_1zbMATH Open1419.03019OpenAlexW70178704MaRDI QIDQ3455830FDOQ3455830
Cristian Prisacariu, Luca Aceto, Anna Ingolfsdottir, Joshua Sack
Publication date: 11 December 2015
Published in: Logical Foundations of Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-35722-0_1
Cites Work
- Graph-Based Algorithms for Boolean Function Manipulation
- Logics for epistemic programs
- Algebraic laws for nondeterminism and concurrency
- Calculi for synchrony and asynchrony
- Results on the propositional \(\mu\)-calculus
- Compositionality of Hennessy-Milner logic by structural operational semantics
- Compositionality Through an Operational Semantics of Contexts
- Precongruence formats for decorated trace semantics
- Fragments of first order logic, I: universal Horn logic
- Composing models
Cited In (8)
- A multicontext architecture for formalizing complex reasoning
- Compositional model-theoretic semantics for logic programs
- Multimodal Separation Logic for Reasoning About Operational Semantics
- Compositional Reasoning about Shared Futures
- Compositional models for credal sets
- Sequent Calculi for Multi-modal Logic with Interaction
- A decidable multi-modal logic of context
- Title not available (Why is that?)
This page was built for publication: Compositional Reasoning for Multi-modal Logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3455830)
