STRONG COMPLETENESS OF COALGEBRAIC MODAL LOGICS

From MaRDI portal

Publication:5390017

Jump to:navigation, search

DOI10.4230/LIPIcs.STACS.2009.1855zbMath1236.03060OpenAlexW1721572253MaRDI QIDQ5390017

Dirk Pattinson, Lutz Schröder

Publication date: 24 April 2012

Full work available at URL: http://subs.emis.de/LIPIcs/frontdoor_b5a4.html

zbMATH Keywords

modal logic coalgebra semantics deduction logic in computer science

Mathematics Subject Classification ID

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

Related Items (4)

Trust evidence logic ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Coalgebraic Completeness-via-Canonicity

This page was built for publication: STRONG COMPLETENESS OF COALGEBRAIC MODAL LOGICS

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:5390017&oldid=20114991"