Coalgebraic Modal Logic in CoCasl
From MaRDI portal
Publication:3591070
DOI10.1007/978-3-540-71998-4_8zbMath1196.68148MaRDI QIDQ3591070
Lutz Schröder, Till Mossakowski
Publication date: 10 September 2007
Published in: Recent Trends in Algebraic Development Techniques (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-71998-4_8
03B45: Modal logic (including the logic of norms)
03B70: Logic in computer science
68Q65: Abstract data types; algebraic specification
Uses Software