Laura Giordano

Learn More
In this thesis we work on normal multimodal logics, that are general modal systems with an arbitrary set of normal modal operators, focusing on the class of inclusion modal logics. This class of logics, first introduced by Fariñas del Cerro and Penttonen, includes some well-known non-homogeneous multimodal systems characterized by interaction axioms of the(More)
In this paper we present a prefixed analytic tableau calculus for a class of normal multimodal logics and we present some results about decidability and undecidability of this class. The class is characterized by axioms of the form [t1] . . . [tn]φ ⊃ [s1] . . . [sm]φ, called inclusion axioms, where the ti’s and sj ’s are constants. This class of logics,(More)
We define the notion of rational closure in the context of Description Logics. We start from an extension of ALC with a typicality operator T allowing to express concepts of the form T(C), whose meaning is to select the “most normal” instances of a concept C. The semantics we consider is based on rational models and exploits a minimal models mechanism based(More)
We extend the Description Logic ALC with a “typicality” operator T that allows us to reason about the prototypical properties and inheritance with exceptions. The resulting logic is called ALC + T. The typicality operator is intended to select the “most normal” or “most typical” instances of a concept. In our framework, knowledge bases may then contain, in(More)
In this paper we develop a logical framework for specifying and verifying systems of communicating agents and interaction protocols. The framework is based on Dynamic Linear Time Temporal Logic (DLTL), which extends LTL by strengthening the until operator by indexing it with the regular programs of dynamic logic. The framework provides a simple(More)