On the Fusion of Coalgebraic Logics
From MaRDI portal
Publication:3090868
DOI10.1007/978-3-642-22944-2_12zbMath1343.03049MaRDI QIDQ3090868
Dirk Pattinson, Fredrik Dahlqvist
Publication date: 2 September 2011
Published in: Algebra and Coalgebra in Computer Science (Search for Journal in Brave)
Full work available at URL: https://www.pure.ed.ac.uk/ws/files/19256125/Dahlqvist_Pattinson_2011_On_the_Fusion_of_Coalgebraic_Logics.pdf
03B45: Modal logic (including the logic of norms)
03G30: Categorical logic, topoi
03B62: Combined logics