C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Coherence in Modal Logic.
Tomasz Kowalski
George Metcalfe
Published in:
Advances in Modal Logic (2018)
Keyphrases
</>
modal logic
temporal logic
inference rules
decision procedures
epistemic logic
situation calculus
conditional logic
default logic
classical logic
nonmonotonic logics
dynamic logic
autoepistemic logic
domain knowledge
knowledge representation