Axiomatization of Some Basic and Modal Boolean Connexive Logics.
Mateusz KlonowskiPublished in: Logica Universalis (2021)
Keyphrases
- modal logic
- situation calculus
- nonmonotonic logics
- inference rules
- boolean functions
- epistemic logic
- temporal logic
- expressive power
- conditional logic
- real valued
- classical logic
- modal operators
- default logic
- search engine
- dynamic logic
- boolean queries
- action theories
- kripke models
- neural network
- learning algorithm
- multi valued
- nonmonotonic reasoning
- uniform distribution
- clustering algorithm
- valued logic
- propositional variables
- databases