Modal operators for meet-complemented lattices.

José Luis Castiglioni Rodolfo Cristian Ertola Biraben

Published in: Log. J. IGPL (2017)

Keyphrases

modal operators
modal logic
situation calculus
temporal logic
partially ordered
nonmonotonic logics
dynamic logic
description logics
communicative acts
number restrictions