From Contact Relations to Modal Operators, and Back.

Rafal Gruszczynski Paula Menchón

Published in: Stud Logica (2023)

Keyphrases

modal operators
modal logic
situation calculus
temporal logic
semantic relations
partially ordered
concept description language
information systems
description logics
sequential patterns