Coalgebraic Predicate Logic
From MaRDI portal
Publication:3167020
DOI10.1007/978-3-642-31585-5_29zbMath1433.03163OpenAlexW1858011931MaRDI QIDQ3167020
Katsuhiko Sano, Dirk Pattinson, Lutz Schröder, Tadeusz Litak
Publication date: 1 November 2012
Published in: Automata, Languages, and Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-31585-5_29
Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Categorical logic, topoi (03G30) Classical first-order logic (03B10)
Related Items
Hennessy-Milner and van Benthem for instantial neighbourhood logic, Algebraic modal correspondence: Sahlqvist and beyond, A quantified coalgebraic van Benthem theorem, COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS