Coalgebraic predicate logic: equipollence results and proof theory

DOI10.1007/978-3-642-36976-6_16MaRDI QIDQ4914523zbMATH OpenOpenAlexFDO

Authors Tadeusz Litak, Dirk Pattinson, Katsuhiko Sano

Publication date 12 April 2013

Published in Logic, Language, and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-36976-6_16

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Cut-elimination and normal-form theorems (03F05) Categorical logic, topoi (03G30)

Recommendations

• Model theory and proof theory of coalgebraic predicate logic
• Coalgebraic predicate logic
• A van Benthem/Rosen theorem for coalgebraic predicate logic
• On a categorical framework for coalgebraic modal logic
• Coalgebraic semantics of modal logics: an overview

Cited in

(6)

• Predicate and relation liftings for coalgebras with side effects: an application in coalgebraic modal logic
• scientific article; zbMATH DE number 2185719 (Why is no real title available?)
• Coalgebraic predicate logic
• Model theory and proof theory of coalgebraic predicate logic
• Some Sahlqvist Completeness Results for Coalgebraic Logics
• scientific article; zbMATH DE number 2196590 (Why is no real title available?)

This page was built for publication: Coalgebraic predicate logic: equipollence results and proof theory

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