Proof-Theoretic Semantics, a Problem with Negation and Prospects for Modality.
Nils KürbisPublished in: J. Philos. Log. (2015)
Keyphrases
- proof theoretic
- fixpoint
- model theoretic
- deductive databases
- proof theory
- logic programs
- logic programming
- nonmonotonic reasoning
- linear logic
- default reasoning
- constraint logic programming
- description logics
- cut elimination
- finite state machines
- integrity constraints
- answer set programming
- operational semantics
- belief revision
- answer sets
- constraint programming
- query evaluation
- multi agent