Login / Signup
Non-dual modal operators as a basis for 4-valued accessibility relations in Hybrid logic.
Diana Costa
Manuel A. Martins
Published in:
J. Log. Algebraic Methods Program. (2021)
Keyphrases
</>
modal operators
modal logic
temporal logic
situation calculus
nonmonotonic logics
description logics
partially ordered
dynamic logic
concept description language
model checking
logic programs
classical logic
general purpose
default logic
defeasible logic
relation algebra