Propositional Logics for the Lawvere Quantale.
Giorgio BacciRadu MardarePrakash PanangadenGordon D. PlotkinPublished in: CoRR (2023)
Keyphrases
- default logic
- classical first order logic
- first order logic
- coalition logic
- expressive power
- propositional variables
- propositional logic
- modal logic
- linearly ordered
- logic programming
- nonmonotonic logics
- inference rules
- autoepistemic logic
- knowledge compilation
- statistical relational learning
- horn logic
- classical logic
- conditional logic
- prime implicates
- nonmonotonic reasoning
- knowledge representation
- multi valued
- modus ponens
- model checking
- propositional dynamic logic
- propositional calculus
- strips planning
- dynamic logic
- proof procedure
- data model
- horn clauses