Nino Guallart

• Doctor of Philosophy
• University of Seville

In this article, we present a modal logic system that allows representing relationships between sets or classes of individuals defined by a specific property. We introduce two modal operators, [a] and , which are used respectively to express “for all A” and “there exists an A”. Both the syntax and semantics of the system have two levels that avoid...

In this work we summarise the concept of bisimulation, widely used both in computational sciences and in modal logic, that characterises modal structures with the same behaviour in terms of accessibility relations. Then, we offer a sketch of categorical interpretation of bisimulation between modal structures, which comprise both the structure and t...

In this work we examine some of the possibilities of combining a simple probability operator with other modal operators, in particular with a belief operator. We will examine the semantics of two possible situations for expressing probabilistic belief or the lack of it, a simple subjective probability operator (SPO) versus the composition of a beli...

In this work we suggest the use of a set-theoretical interpretation of semantic tableaux for teaching propositional logic. If the student has previous notions of basic set theory, this approach to semantical tableaux can clarify her the way semantic trees operate, linking the syntactical and semantical sides of the process. Also, it may be useful f...

Pure type systems arise as a generalisation of simply typed lambda calculus, which was motivated by several questions related to the foundations of mathematics. The contemporary development of mathematics has renewed the interest in type theories, and they are not just the object of mere historical research, but have an active role in the developme...

Clinical reasoning combines a wide range of strategies: deduction, induction and mainly different kinds of abductive reasoning (analogy, case studies, causal reasoning, etc.). This paper will focus on analogical reasoning, although it will be examined in comparison and combination with other methods, mainly inductive and causal reasoning. Analogy,...