A Syntactic Approach to Unification in Transitive Reflexive Modal Logics.

Rosalie Iemhoff

Published in: Notre Dame J. Formal Log. (2016)

Keyphrases

modal logic
decision procedures
temporal logic
inference rules
epistemic logic
nonmonotonic logics
theorem proving
natural language
classical logic
higher order
default logic
situation calculus
theorem prover
propositional logic
artificial intelligence
expert systems
banach space