Expressivity of Quantitative Modal Logics: Categorical Foundations via Codensity and Approximation.
Yuichi KomoridaShin-ya KatsumataClemens KupkeJurriaan RotIchiro HasuoPublished in: CoRR (2021)
Keyphrases
- modal logic
- decision procedures
- temporal logic
- inference rules
- nonmonotonic logics
- epistemic logic
- situation calculus
- default logic
- classical logic
- qualitative and quantitative
- approximation algorithms
- numerical values
- kripke models
- artificial intelligence
- categorical data
- autoepistemic logic
- attribute values
- modal operators
- cooperative