Modular Algorithms for Heterogeneous Modal Logics
From MaRDI portal
Publication:5428831
DOI10.1007/978-3-540-73420-8_41zbMath1126.03028MaRDI QIDQ5428831
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
03B45: Modal logic (including the logic of norms)
03B70: Logic in computer science
03G30: Categorical logic, topoi
Related Items
CoLoSS: The Coalgebraic Logic Satisfiability Solver, Global Caching for Coalgebraic Description Logics, Coalgebraic logic for stochastic right coalgebras, Coalgebraic logic over general measurable spaces – a survey, Modular algorithms for heterogeneous modal logics via multi-sorted coalgebra, Weak bisimulations for the Giry monad