This paper intends to contribute with a new fuzzy modal logic to model and reason about
transition systems involving uncertainty in behaviours. Our formalism supports fuzziness at …

In the last decades, dynamic logics have been used in different domains as a suitable
formalism to reason about and specify a wide range of systems. On the other hand, logics …

Within the criticism that has been made of the principle of proportionality, I intend to
contribute to the deepening and improvement of what is understood as the test of …

In this paper we discuss the incompatibility between the notions of validity and
impreciseness in the context of Dynamic Logics. To achieve that we consider the …

We study a many-valued generalization of Propositional Dynamic Logic where formulas in
states and accessibility relations between states of a Kripke model are evaluated in a finite …

Abstract Following K. Segerberg [22], D. Kozen [15] and V. Pratt [19], who have been
introduced dynamic propositional logic and dynamic algebras, dynamic propositional …

We provide a complete binary implicational axiomatization of the positive fragment of
propositional dynamic logic (PDL). The intended application of this result are completeness …

Fuzzy programming languages, such as the Fuzzy Arden Syntax (FAS), are used to describe
behaviours which evolve in a fuzzy way and thus cannot be characterized neither by a …

Paper V investigates problems associated with standard deontic logic. A deontic predicate is
derived, which avoids some of the major paradoxes in the area. In particular, paradoxes …

We prove completeness and decidability of a version of Propositional Dynamic Logic where
the underlying non-modal propositional logic is a substructural logic in the vicinity of the Full …