Rotations of Gödel Algebras with Modal Operators.

Tommaso Flaminio Lluís Godo Paula Menchón Ricardo Oscar Rodríguez

Published in: IPMU (1) (2022)

Keyphrases

modal operators
modal logic
temporal logic
partially ordered
situation calculus
description logics
nonmonotonic logics
dynamic logic
social bookmarking
communicative acts
temporal reasoning
inference rules
topological spaces
concept description language