Many-Valued Relation Lifting and Moss’ Coalgebraic Logic
From MaRDI portal
Publication:2848940
DOI10.1007/978-3-642-40206-7_7zbMath1394.03081OpenAlexW18477301MaRDI QIDQ2848940
Publication date: 13 September 2013
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-40206-7_7
Modal logic (including the logic of norms) (03B45) Categorical logic, topoi (03G30) Frames, locales (06D22) Many-valued logic (03B50) Categories of sets, characterizations (18B05)
Related Items