C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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