The study of epistemic logic, which formalises the reasoning about knowledge and belief, has been enriched by recent incorporations of topological semantics. This interdisciplinary approach leverages ...

In this paper, we give an alternative semantics to the non-normal logic of knowing how proposed by Fervari et al. (Proc IJCAI 2017:1031–1038, 2017), based on a class of Kripke neighborhood models with ...

Dependence logic and semantics represent a burgeoning area of logical inquiry that extends classical frameworks to capture complex interdependencies among variables. This field introduces novel ...

Teorema: Revista Internacional de Filosofía, Vol. 32, No. 1, El legado de Dummett/ Dummett's Legacy (2013), pp. 77-94 (18 pages) Este artículo reconsidera un hito importante del argumento de Michael ...

This eBook explains how databases that incorporate semantic technology make it possible to solve big data challenges that traditional databases aren’t equipped to solve. Semantics is a way to model ...

This eBook explains how databases that incorporate semantic technology make it possible to solve big data challenges that traditional databases aren’t equipped to solve. Semantics is a way to model ...

Formal semantics; logic and language; cognitive science; Ancient Greek philosophy; automated theorem proving; artificial intelligence. Artificial Intelligence, Logic programming; Constraint ...