A Four-Valued Hybrid Logic with Non-dual Modal Operators.

Diana Costa Manuel A. Martins

Published in: DaLí (2019)

Keyphrases

modal operators
modal logic
dynamic logic
temporal logic
situation calculus
partially ordered
nonmonotonic logics
description logics
artificial intelligence
number restrictions
software engineering
model checking
multi valued