Sequent Calculi for Visser's Propositional Logics.
Katsumasa IshiiRyo KashimaKentaro KikuchiPublished in: Notre Dame J. Formal Log. (2001)
Keyphrases
- sequent calculi
- modal logic
- conditional logic
- default logic
- propositional logic
- cut elimination
- first order logic
- default reasoning
- belief revision
- probabilistic logic
- coalition logic
- multi valued
- decision procedures
- temporal logic
- inference rules
- nonmonotonic reasoning
- wide class
- autoepistemic logic
- linearly ordered
- machine learning