Login / Signup
Post Completeness in Congruential Modal Logics.
Peter Fritz
Published in:
Advances in Modal Logic (2016)
Keyphrases
</>
modal logic
inference rules
temporal logic
decision procedures
epistemic logic
nonmonotonic logics
classical logic
default logic
situation calculus
autoepistemic logic
random numbers
model checking
data quality
dynamic logic