Login / Signup
Intuitionistic Gödel-Löb Logic, à la Simpson: Labelled Systems and Birelational Semantics.
Anupam Das
Iris van der Giessen
Sonia Marin
Published in:
CSL (2024)
Keyphrases
</>
classical logic
logic programming
logical framework
rewrite systems
proof theory
autoepistemic logic
epistemic logic
linear logic
valued logic
rough sets
modal logic
digital circuits
sound and complete with respect