Hybrid Modal Operators for Definite Descriptions.

Przemyslaw Andrzej Walega Michal Zawidzki

Published in: JELIA (2023)

Keyphrases

modal operators
modal logic
artificial intelligence
dynamic logic
decision trees
high level
object oriented
situation calculus
nonmonotonic logics
communicative acts