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 ...

In this chapter, we will not provide a fully rigorous mathematical treatment of syntax and semantics. That subject matter is appropriate to a more advanced and focused course on mathematical logic.

Girard introduced phase semantics as a complete set-theoretic semantics of linear logic, and Okada modified phase-semantic completeness proofs to obtain normalform theorems. On the basis of these ...

Abstract: Almost all semantics for logic programs with negation identify a set, SEM(P), of models of program P, as the intended semantics of P, and any model M in this class is considered a possible ...

Abstract: In this work, we present a framework based on the notion of dependencies. We use this framework to define semantics for inconsistent belief bases in a modular way to define general tools for ...

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 ...

In Lecture 4 we introduced a few new propositions about programs. One proposition $(v, c) \rightarrow^* (v', c')$ was about reachability; if true, this proposition means that the program can reach ...