Coalgebraic Predicate Logic
From MaRDI portal
Publication:3167020
DOI10.1007/978-3-642-31585-5_29zbMath1433.03163MaRDI QIDQ3167020
Lutz Schröder, Tadeusz Litak, Katsuhiko Sano, Dirk Pattinson
Publication date: 1 November 2012
Published in: Automata, Languages, and Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-31585-5_29
03B45: Modal logic (including the logic of norms)
03B70: Logic in computer science
03G30: Categorical logic, topoi
03B10: Classical first-order logic