Login / Signup
Expressivity of Quantitative Modal Logics : Categorical Foundations via Codensity and Approximation.
Yuichi Komorida
Shin-ya Katsumata
Clemens Kupke
Jurriaan Rot
Ichiro Hasuo
Published in:
LICS (2021)
Keyphrases
</>
modal logic
decision procedures
inference rules
temporal logic
epistemic logic
nonmonotonic logics
numerical values
artificial intelligence
classical logic
situation calculus
qualitative and quantitative
multi agent
approximation algorithms
default logic
numerical data
sufficient conditions
bayesian networks