Hilbert Algebras with a Modal Operator ◊.

Sergio A. Celani Daniela Montangie

Published in: Stud Logica (2015)

Keyphrases

clifford algebra
modal operators
modal logic
nonmonotonic logics
temporal logic
situation calculus
communicative acts
linear time temporal logic
partially ordered
description logics
model checking
inference rules
nonmonotonic reasoning