Modal operators and toric ideals.

Riccardo Camerlo Giovanni Pistone Fabio Rapallo

Published in: J. Log. Comput. (2019)

Keyphrases

modal operators
partially ordered
partial order
modal logic
situation calculus
dynamic logic
description logics
temporal logic
nonmonotonic logics
information systems
multi agent