On constructing a logic for the notion of complete and immediate formal grounding.
Francesca PoggiolesiPublished in: Synth. (2018)
Keyphrases
- mathematical theory
- computational properties
- model theoretic
- ctl model update
- formal language
- computational logic
- formal model
- predicate logic
- formal specification
- set theory
- formal logic
- proof theory
- logic programming
- conditional logic
- real time
- defeasible logic
- deductive databases
- natural deduction
- modal logic
- description logics
- learning algorithm