-
37Products of modal logics. Part 3: Products of modal and temporal logicsStudia Logica 72 (2): 157-183. 2002.In this paper we improve the results of [2] by proving the product f.m.p. for the product of minimal n-modal and minimal n-temporal logic. For this case we modify the finite depth method introduced in [1]. The main result is applied to identify new fragments of classical first-order logic and of the equational theory of relation algebras, that are decidable and have the finite model property.
-
81An irreflexivity lemma with applications to axiomatizations of conditions on tense framesIn U. Mönnich (ed.), Aspects of Philosophical Logic, Dordrecht. pp. 67--89. 1981.
-
48Semantics for Higher Level Attacks in Extended Argumentation Frames Part 1: OverviewStudia Logica 93 (2-3): 181-198. 2009.Given an argumentation network we associate with it a modal formula representing the 'logical content' of the network. We show a one-to-one correspondence between all possible complete Caminada labellings of the network and all possible models of the formula
-
82A Comment on Work by Booth and Co-authorsStudia Logica 94 (3): 403-432. 2010.Booth and his co-authors have shown in [2], that many new approaches to theory revision (with fixed K ) can be represented by two relations, , where is a sub-relation of < . They have, however, left open a characterization of the infinite case, which we treat here.
-
35Dung’s Argumentation is Essentially Equivalent to Classical Propositional Logic with the Peirce–Quine DaggerLogica Universalis 5 (2): 255-318. 2011.In this paper we show that some versions of Dung’s abstract argumentation frames are equivalent to classical propositional logic. In fact, Dung’s attack relation is none other than the generalised Peirce–Quine dagger connective of classical logic which can generate the other connectives ${\neg, \wedge, \vee, \to}$ of classical logic. After establishing the above correspondence we offer variations of the Dung argumentation frames in parallel to variations of classical logic, such as resource logi…Read more
-
19Łukasiewicz Logic: From Proof Systems To Logic ProgrammingLogic Journal of the IGPL 13 (5): 561-585. 2005.We present logic programming style “goal-directed” proof methods for Łukasiewicz logic Ł that both have a logical interpretation, and provide a suitable basis for implementation. We introduce a basic version, similar to goal-directed calculi for other logics, and make refinements to improve efficiency and obtain termination. We then provide an algorithm for fuzzy logic programming in Rational Pavelka logic RPL, an extension of Ł with rational constants
-
99Independence — Revision and DefaultsStudia Logica 92 (3): 381-394. 2009.We investigate different aspects of independence here, in the context of theory revision, generalizing slightly work by Chopra, Parikh, and Rodrigues, and in the context of preferential reasoning.
-
25The Functional Interpretation of the Existential QuantifierLogic Journal of the IGPL 3 (2-3): 243-290. 1995.We are concerned with showing how ‘labelled’ Natural Deduction presentation systems based on an extension of the so-called Curry-Howard functional interpretation can help us understand and generalise most of the deduction calculi designed to deal with the logical notion of existential quantification. We present the labelling mechanism for ‘’ using what we call ‘ɛ-terms’, which have the form of ‘a’) in a dual form to the ‘Ax.f’ terms of in the sense that the ‘witness’ is chosen at the time of ass…Read more
-
36Annotation Theories over Finite GraphsStudia Logica 93 (2): 147-180. 2009.In the current paper we consider theories with vocabulary containing a number of binary and unary relation symbols. Binary relation symbols represent labeled edges of a graph and unary relations represent unique annotations of the graph's nodes. Such theories, which we call annotation theories^ can be used in many applications, including the formalization of argumentation, approximate reasoning, semantics of logic programs, graph coloring, etc. We address a number of problems related to annotati…Read more
-
51Logical Analysis of the Talmudic Rules of General and Specific (Klalim-u-Pratim)History and Philosophy of Logic 32 (1): 47-62. 2011.This article deals with a set-theoretic interpretation of the Talmudic rules of General and Specific, known as Klal and Prat (KP), Prat and Klal (PK), Klal and Prat and Klal (KPK) and Prat and Klal and Prat (PKP)
-
2Semantical Considerations for Modal Logics by Saul A. KripkeJournal of Symbolic Logic 34 (3): 501-501. 1969.
-
31A new version of Beth semantics for intuitionistic logicJournal of Symbolic Logic 42 (2): 306-308. 1977.
-
99What is a logical system? (edited book)Oxford University Press. 1994.This superb collection of papers focuses on a fundamental question in logic and computation: What is a logical system? With contributions from leading researchers--including Ian Hacking, Robert Kowalski, Jim Lambek, Neil Tennent, Arnon Avron, L. Farinas del Cerro, Kosta Dosen, and Solomon Feferman--the book presents a wide range of views on how to answer such a question, reflecting current, mainstream approaches to logic and its applications. Written to appeal to a diverse audience of readers, W…Read more
-
14Fibred Security LanguageStudia Logica 92 (3). 2009.We study access control policies based on the says operator by introducing a logical framework called Fibred Security Language (FSL) which is able to deal with features like joint responsibility between sets of principals and to identify them by means of first-order formulas. FSL is based on a multimodal logic methodology. We first discuss the main contributions from the expressiveness point of view, we give semantics for the language (both for classical and intuitionistic fragment), we then pro…Read more
-
118Roadmap for preferential logicsJournal of Applied Non-Classical Logics 19 (1): 43-95. 2009.We give a systematic overview of semantical and logical rules in non monotonic and related logics. We show connections and sometimes subtle differences, and also compare such rules to uses of the notion of size.
-
42Temporal Logic: Mathematical Foundations and Computational AspectsOxford University Press on Demand. 1994.This much-needed book provides a thorough account of temporal logic, one of the most important areas of logic in computer science today. The book begins with a solid introduction to semantical and axiomatic approaches to temporal logic. It goes on to cover predicate temporal logic, meta-languages, general theories of axiomatization, many dimensional systems, propositional quantifiers, expressive power, Henkin dimension, temporalization of other logics, and decidability results. With its inclusio…Read more
-
57Extending the Curry-Howard interpretation to linear, relevant and other resource logicsJournal of Symbolic Logic 57 (4): 1319-1365. 1992.
-
14KM99] GP Kogan and JA Makowsky. Computing Schur functions for Borchardt matrices. in preparation, 1999. Kog96] GP Kogan. Computing the permanent over elds of characteristic 3: Where and why it becomes dificult. In FOCS'96, pages 108 {114. IEEE, 1996 (review)Annals of Pure and Applied Logic 78 (2): 189-202. 1996.
-
34On Kreisel's notion of validity in post systemsStudia Logica 35 (3). 1976.This paper investigates various interpretations of HPC (Heyting's predicate calculus) and mainly of HPC0 (Heyting's propositional calculus) in Post systems.§1 recalls some background material concerning HPC including the Kripke and Beth interpretations, and later sections study the various interpretations available.
-
61Modal Logics of Reactive FramesStudia Logica 93 (2-3): 405-446. 2009.A reactive graph generalizes the concept of a graph by making it dynamic, in the sense that the arrows coming out from a point depend on how we got there. This idea was first applied to Kripke semantics of modal logic in [2]. In this paper we strengthen that unimodal language by adding a second operator. One operator corresponds to the dynamics relation and the other one relates paths with the same endpoint. We explore the expressivity of this interpretation by axiomatizing some natural subclass…Read more