Login / Signup
Riesz Modal Logic with Threshold Operators.
Matteo Mio
Published in:
LICS (2018)
Keyphrases
</>
modal logic
modal operators
inference rules
decision procedures
temporal logic
epistemic logic
classical logic
situation calculus
default logic
vector valued
conditional logic
signal analysis
nonmonotonic logics
expert systems
dynamic logic
machine learning
prime implicates
autoepistemic logic
knowledge base