Remarks about the unification type of several non-symmetric non-transitive modal logics.

Philippe Balbiani

Published in: Log. J. IGPL (2019)

Keyphrases

modal logic
decision procedures
inference rules
temporal logic
theorem proving
nonmonotonic logics
epistemic logic
default logic
database systems
higher order
classical logic
special case
theorem prover
multi agent
multi agent systems
data model