Unification types in Euclidean modal logics.

Majid Alizadeh Mohammad Ardeshir Philippe Balbiani Mojtaba Mojtahedi

Published in: Log. J. IGPL (2023)

Keyphrases

modal logic
decision procedures
inference rules
nonmonotonic logics
classical logic
temporal logic
dynamic logic
theorem proving
default logic
epistemic logic
artificial intelligence
cooperative
theorem prover
autoepistemic logic
equational theories