Login / Signup
On the completeness of first degree weakly aggregative modal logics.
Peter Apostoli
Published in:
J. Philos. Log. (1997)
Keyphrases
</>
modal logic
decision procedures
temporal logic
inference rules
nonmonotonic logics
epistemic logic
default logic
conditional logic
situation calculus
data quality
classical logic
helmholtz principle
model checking
theorem proving
kripke models