A Mechanisation of Classical Modal Tense Logics Using Isabelle.

Jeremy E. Dawson Rajeev Goré

Published in: Australian Joint Conference on Artificial Intelligence (1998)

Keyphrases

modal logic
nonmonotonic logics
theorem prover
expressive power
temporal logic
horn logic
inference rules
epistemic logic
similarity measure
np complete
neural network
natural language
classical logic
conditional logic
information systems
valued logic
propositional variables
social networks