Named Models in Coalgebraic Hybrid Logic
From MaRDI portal
Publication:3113787
DOI10.4230/LIPICS.STACS.2010.2492zbMath1230.68191OpenAlexW2113271515MaRDI QIDQ3113787
Publication date: 23 January 2012
Full work available at URL: http://subs.emis.de/LIPIcs/frontdoor_2123.html
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)
This page was built for publication: Named Models in Coalgebraic Hybrid Logic