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