An institutional approach to positive coalgebraic logic

DOI10.1093/LOGCOM/EXV074zbMATH Open1444.03184OpenAlexW2288973123MaRDI QIDQ3133183FDOQ3133183

Adriana Balan, Jiří Velebil, 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

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

Mathematics Subject Classification ID

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

Cited In (3)

• Title not available (Why is that?)
• A coalgebraic view on positive modal logic
• Positive monotone modal logic

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)