Projective unification in weakly transitive and weakly symmetric modal logics.

Zofia Kostrzycka

Published in: J. Log. Comput. (2022)

Keyphrases

modal logic
decision procedures
theorem proving
inference rules
epistemic logic
helmholtz principle
temporal logic
knowledge representation