Projective Beth Property in Extensions of Grzegorczyk Logic.
Larisa MaksimovaPublished in: Stud Logica (2006)
Keyphrases
- classical logic
- real time
- multi valued
- logic programming
- knowledge representation formalisms
- default logic
- automated reasoning
- truth maintenance systems
- epistemic logic
- reconstruction from multiple views
- modal logic
- genetic algorithm
- defeasible logic
- delay insensitive
- proof theory
- dynamic logic
- deontic logic
- digital circuits
- database
- databases
- efficient implementation
- machine learning
- data model
- information systems