Przemysław Andrzej Wałęga

Expressive Power of Definite Descriptions in Modal Logics

2024

Motivated by applications in knowledge representation and reasoning, modal and description logics have been recently extended with definite description operators. Such operators provide us with a tool for referring to a particular element of a …