Intuitionistic Gödel-Löb logic, à la Simpson: labelled systems and birelational semantics.
Anupam DasIris van der GiessenSonia MarinPublished in: CoRR (2023)
Keyphrases
- logic programming
- logical framework
- classical logic
- management system
- digital circuits
- valued logic
- linear logic
- sound and complete axiomatization
- expert systems
- propositional dynamic logic
- rewrite systems
- asynchronous circuits
- semantic information
- model theoretic
- computational properties
- proof theoretic
- belief revision
- computer systems