Modular Algorithms for Heterogeneous Modal Logics

DOI10.1007/978-3-540-73420-8_41MaRDI QIDQ5428831zbMATH OpenOpenAlexFDO

Authors Lutz Schröder, Dirk Pattinson

Publication date 28 November 2007

Published in Automata, Languages and Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-73420-8_41

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Categorical logic, topoi (03G30)

Recommendations

• Modular algorithms for heterogeneous modal logics via multi-sorted coalgebra
• CONCUR 2004 - Concurrency Theory
• Modular construction of complete coalgebraic logics
• Decidability of modular logics for concurrency
• Modularity in coalgebra

Cited in

(10)

• Global caching for coalgebraic description logics
• Weak bisimulations for the Giry monad
• Relativized hyperequivalence of logic programs for modular programming
• CONCUR 2004 - Concurrency Theory
• Coalgebraic logic over general measurable spaces -- a survey
• CoLoSS: the coalgebraic logic satisfiability solver
• Coalgebraic logic for stochastic right coalgebras
• Modular algorithms for heterogeneous modal logics via multi-sorted coalgebra
• Decidability of modular logics for concurrency
• Modular Markovian Logic

This page was built for publication: Modular Algorithms for Heterogeneous Modal Logics

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