An institutional approach to positive coalgebraic logic

DOI10.1093/LOGCOM/EXV074MaRDI QIDQ3133183zbMATH OpenOpenAlexFDO

Authors Jiří Velebil, Adriana Balan, Alexander Kurz

Publication date 13 February 2018

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/logcom/exv074

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Categorical logic, topoi (03G30) Abstract data types; algebraic specification (68Q65)

Recommendations

• Positive fragments of coalgebraic logics
• scientific article; zbMATH DE number 6917170
• Coalgebraic semantics for positive modal logic
• A coalgebraic view on positive modal logic
• An institution of modal logics for coalgebras

Cited in

(7)

• scientific article; zbMATH DE number 6917170 (Why is no real title available?)
• A coalgebraic view on positive modal logic
• Positive monotone modal logic
• Expressiveness of positive coalgebraic logic
• Coalgebraic semantics for positive modal logic
• Positive fragments of coalgebraic logics
• Positive fragments of coalgebraic logics

This page was built for publication: An institutional approach to positive coalgebraic logic

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