First Order Sequent Calculi of Logics of Quasiary Predicates with Extended Renominations and Equality.
Stepan S. ShkilniakOksana ShkilniakPublished in: UkrPROG (2022)
Keyphrases
- sequent calculi
- conditional logic
- default reasoning
- modal logic
- nonmonotonic reasoning
- belief revision
- cut elimination
- horn clauses
- higher order
- knowledge representation and reasoning
- probabilistic reasoning
- decision procedures
- function symbols
- first order logic
- classical first order logic
- machine learning
- probabilistic logic
- expressive power