Modular Algorithms for Heterogeneous Modal Logics

DOI10.1007/978-3-540-73420-8_41zbMath1126.03028OpenAlexW1525860295MaRDI QIDQ5428831

Dirk Pattinson, Lutz Schröder

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)

Related Items (6)

Coalgebraic logic over general measurable spaces – a survey ⋮ Modular algorithms for heterogeneous modal logics via multi-sorted coalgebra ⋮ Global Caching for Coalgebraic Description Logics ⋮ Weak bisimulations for the Giry monad ⋮ Coalgebraic logic for stochastic right coalgebras ⋮ CoLoSS: The Coalgebraic Logic Satisfiability Solver

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