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