A Coalgebraic View of Characteristic Formulas in Equational Modal Fixed Point Logics
From MaRDI portal
Publication:2942777
DOI10.1007/978-3-662-44124-4_6zbMath1445.68139OpenAlexW2261621637MaRDI QIDQ2942777
Joshua Sack, Sebastian Enqvist
Publication date: 11 September 2015
Published in: Advanced Information Systems Engineering (Search for Journal in Brave)
Full work available at URL: https://hal.inria.fr/hal-01408754/file/328263_1_En_6_Chapter.pdf
Modal logic (including the logic of norms) (03B45) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Categorical logic, topoi (03G30)
This page was built for publication: A Coalgebraic View of Characteristic Formulas in Equational Modal Fixed Point Logics
