Towards a Denotational Semantics for Proofs in Constructive Modal Logic.
Matteo AcclavioDavide CattaLutz StraßburgerPublished in: CoRR (2021)
Keyphrases
- modal logic
- denotational semantics
- decision procedures
- sequent calculus
- programming language
- temporal logic
- inference rules
- operational semantics
- query language
- classical logic
- theorem prover
- epistemic logic
- abstract data types
- dynamic logic
- situation calculus
- nonmonotonic logics
- default logic
- conditional logic
- theorem proving
- integrity constraints
- model checking
- modal operators
- databases
- logic programming
- prime implicates
- general purpose
- explanation based generalization
- data mining