Uniform Lyndon Interpolation for Basic Non-normal Modal and Conditional Logics.
Amirhossein Akbar TabatabaiRosalie IemhoffRaheleh JalaliPublished in: CoRR (2022)
Keyphrases
- conditional logic
- modal logic
- higher order logic
- default reasoning
- belief revision
- temporal logic
- inference rules
- nonmonotonic reasoning
- nonmonotonic inference
- general purpose
- default logic
- knowledge representation and reasoning
- linear interpolation
- higher order
- data mining
- theorem prover
- probability distribution
- multi agent
- interpolation method
- high level
- machine learning