Foundations of Software Science and Computation Structures
From MaRDI portal
Publication:5899086
DOI10.1007/11690634zbMath1180.03036MaRDI QIDQ5899086
Publication date: 2 May 2007
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11690634
03B45: Modal logic (including the logic of norms)
03B70: Logic in computer science
03G30: Categorical logic, topoi
Related Items
Coalgebraic Completeness-via-Canonicity, Cut elimination in coalgebraic logics, Monotone subintuitionistic logic: duality and transfer results, Expressivity of coalgebraic modal logic: the limits and beyond, A finite model construction for coalgebraic modal logic, Admissibility of Cut in Coalgebraic Logics, EXPTIME Tableaux for the Coalgebraic μ-Calculus