Tableaux for Free Logics with Descriptions.
Andrzej IndrzejczakMichal ZawidzkiPublished in: CoRR (2021)
Keyphrases
- modal logic
- decision procedures
- sequent calculi
- inference rules
- expressive power
- high level
- temporal logic
- real time
- epistemic logic
- situation calculus
- object descriptions
- natural language descriptions
- conditional logic
- nonmonotonic logics
- functional dependencies
- learning algorithm
- theorem proving
- classical first order logic
- databases