Tableaux for Free Logics with Descriptions.
Andrzej IndrzejczakMichal ZawidzkiPublished in: TABLEAUX (2021)
Keyphrases
- modal logic
- decision procedures
- sequent calculi
- inference rules
- temporal logic
- expressive power
- conditional logic
- nonmonotonic logics
- high level
- classical logic
- information systems
- epistemic logic
- situation calculus
- decision trees
- computational properties
- default logic
- theorem proving
- dynamic logic
- propositional dynamic logic
- machine learning