Coalgebraic predicate logic

DOI10.1007/978-3-642-31585-5_29MaRDI QIDQ3167020zbMATH OpenOpenAlexFDO

Authors Tadeusz Litak, Dirk Pattinson, Katsuhiko Sano, Lutz Schröder

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

Mathematics Subject Classification ID

Classical first-order logic (03B10) Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Categorical logic, topoi (03G30)

Recommendations

• Model theory and proof theory of coalgebraic predicate logic
• Coalgebraic predicate logic: equipollence results and proof theory
• A van Benthem/Rosen theorem for coalgebraic predicate logic
• Coalgebraic Correspondence Theory
• Coalgebraic logic

Cited in

(9)

• Hennessy-Milner and van Benthem for instantial neighbourhood logic
• A quantified coalgebraic van Benthem theorem
• Algebraic modal correspondence: Sahlqvist and beyond
• A van Benthem/Rosen theorem for coalgebraic predicate logic
• scientific article; zbMATH DE number 139614 (Why is no real title available?)
• Model theory and proof theory of coalgebraic predicate logic
• Coalgebraic predicate logic: equipollence results and proof theory
• COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS
• Coalgebraic Announcement Logics

This page was built for publication: Coalgebraic predicate logic

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