Modal Logics of Partial Quasiary Predicates with Equality.

Oksana Shkilniak Stepan S. Shkilniak

Published in: DSMSI (2023)

Keyphrases

modal logic
temporal logic
decision procedures
inference rules
classical logic
nonmonotonic logics
epistemic logic
function symbols
situation calculus
horn clauses
default logic
query processing
user defined
fixpoint