Processes, Terms and Cycles: Steps on the Road to Infinity
From MaRDI portal
Publication:5898148
DOI10.1007/11601548zbMath1171.03314MaRDI QIDQ5898148
Publication date: 13 November 2006
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11601548
03B45: Modal logic (including the logic of norms)
03B70: Logic in computer science
03G30: Categorical logic, topoi
Related Items
Constructive Modalities with Provability Smack, On modal \(\mu \)-calculus and Gödel-Löb logic, Circular proofs for the Gödel-Löb provability logic, Fixed-Point Elimination in the Intuitionistic Propositional Calculus, The Henkin Sentence