Finitary unification in locally tabular modal logics characterized.

Wojciech Dzik Slawomir Kost Piotr Wojtylak

Published in: Ann. Pure Appl. Log. (2022)

Keyphrases

modal logic
decision procedures
inference rules
temporal logic
theorem proving
finite state
nonmonotonic logics
epistemic logic
theorem prover
classical logic
higher order
situation calculus
default logic
multi agent
expert systems
function symbols