Model constructions for Moss' coalgebraic logic

DOI10.1007/978-3-642-22944-2_8MaRDI QIDQ3090864zbMATH OpenOpenAlexFDO

Authors Jort Martinus Bergfeld, Yde Venema

Publication date 2 September 2011

Published in Algebra and Coalgebra in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-22944-2_8

zbMATH Keywords

coalgebracompletenessfinite model propertymodal logicstrong completeness

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Categorical logic, topoi (03G30)

Recommendations

• Completeness of the finitary Moss logic
• Proof systems for Moss' coalgebraic logic
• A finite model construction for coalgebraic modal logic
• Foundations of Software Science and Computation Structures
• Specifying coalgebras with modal logic

Cited in

(3)

• Completeness of the finitary Moss logic
• Proof systems for Moss' coalgebraic logic
• Moss' logic for ordered coalgebras

This page was built for publication: Model constructions for Moss' coalgebraic logic

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