Bi-coalgebraic view of Fitting's Heyting-valued modal logic.
Litan Kumar DasKumar Sankar RayPrakash Chandra MaliPublished in: CoRR (2023)
Keyphrases
- modal logic
- temporal logic
- decision procedures
- inference rules
- business intelligence
- default logic
- nonmonotonic logics
- classical logic
- conditional logic
- epistemic logic
- least squares
- prime implicates
- explanation based generalization
- situation calculus
- set theory
- autoepistemic logic
- background knowledge
- rough sets
- artificial intelligence