Hilbert algebras with a necessity modal operator.

Sergio A. Celani Daniela Montangie

Published in: Reports Math. Log. (2014)

Keyphrases

clifford algebra
modal operators
modal logic
temporal logic
nonmonotonic logics
communicative acts
linear time temporal logic
situation calculus
description logics
partially ordered
machine learning
artificial intelligence
rough sets
temporal reasoning
inference rules