Sign in
An Inductive Construction for Many-Valued Coalgebraic Modal Logic.
Chun-Yu Lin
Churn-Jung Liau
Published in:
CoRR (2022)
Keyphrases
</>
modal logic
temporal logic
inference rules
decision procedures
situation calculus
inductive learning
nonmonotonic logics
machine learning
classical logic
epistemic logic
prime implicates
knowledge representation
default logic
model checking
autoepistemic logic
dynamic logic