Named Models in Coalgebraic Hybrid Logic

DOI10.4230/LIPICS.STACS.2010.2492zbMath1230.68191OpenAlexW2113271515MaRDI QIDQ3113787

Dirk Pattinson, Lutz Schröder

Publication date: 23 January 2012

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

zbMATH Keywords

modal logiccoalgebrasemanticsdeductionlogic in computer science

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Logic in computer science (03B70) Semantics in the theory of computing (68Q55)

Related Items (2)

The Minimal System of Justification Logic with Names ⋮ Unnamed Item

This page was built for publication: Named Models in Coalgebraic Hybrid Logic