-
4Classical vs non-classical logics: the universality of classical logicMax-Planck-Institut für Informatik. 1993."This report investigates the question of the universality of classical logic. The approach is to show that an almost arbitrary logical system can be translated reasonably intuitively and almost automatically into classical logic. The path leading to this result goes through the analysis of what is reasonable logic, how to find semantics for it, how to build a labelled deductive system (LDS) for it, how to translate a LDS into classical logic and how to automate the process using SCAN. This repo…Read more
-
J. EL1ASSON Ultrapowers as sheaves on a category of ultrafilters 825 A. LEWIS Finite cupping sets 845Archive for Mathematical Logic 43 (7): 934. 2004.
-
145A Logical Account of Formal ArgumentationStudia Logica 93 (2-3): 109-145. 2009.In the current paper, we re-examine how abstract argumentation can be formulated in terms of labellings, and how the resulting theory can be applied in the field of modal logic. In particular, we are able to express the (complete) extensions of an argumentation framework as models of a set of modal logic formulas that represents the argumentation framework. Using this approach, it becomes possible to define the grounded extension in terms of modal logic entailment.
-
86Reactive preferential structures and nonmonotonic consequenceReview of Symbolic Logic 2 (2): 414-450. 2009.We introduce Information Bearing Relation Systems (IBRS) as an abstraction of many logical systems. These are networks with arrows recursively leading to other arrows etc. We then define a general semantics for IBRS, and show that a special case of IBRS generalizes in a very natural way preferential semantics and solves open representation problems for weak logical systems. This is possible, as we can the strong coherence properties of preferential structures by higher arrows, that is, arrows, w…Read more
-
23A Sound And Complete Deductive System For Ctl* VerificationLogic Journal of the IGPL 16 (6): 499-536. 2008.The paper presents a compositional approach to the verification of CTL* properties over reactive systems. Both symbolic model-checking and deductive verification are considered. Both methods are based on two decomposition principles. A general state formula is decomposed into basic state formulas which are CTL* formulas with no embedded path quantifiers. To deal with arbitrary basic state formulas, we introduce another reduction principle which replaces each basic path formula, i.e., path formul…Read more
-
97Handbook of Philosophical Logic (edited book)Kluwer Academic Publishers. 1983.The first edition of the Handbook of Philosophical Logic (four volumes) was published in the period 1983-1989 and has proven to be an invaluable reference work ...
-
6Modelling evolvable component systems: Part I: A logical frameworkLogic Journal of the IGPL 17 (6): 631-696. 2009.We develop a logical modelling approach to describe evolvable computational systems. In this account, evolvable systems are built hierarchically from components where each component may have an associated supervisory process. The supervisor's purpose is to monitor and possibly change its associated component. Evolutionary change may be determined purely internally from observations made by the supervisor or may be in response to external change. Supervisory processes may be present at any level …Read more
-
43Products of modal logics, part 1Logic Journal of the IGPL 6 (1): 73-146. 1998.The paper studies many-dimensional modal logics corresponding to products of Kripke frames. It proves results on axiomatisability, the finite model property and decidability for product logics, by applying a rather elaborated modal logic technique: p-morphisms, the finite depth method, normal forms, filtrations. Applications to first order predicate logics are considered too. The introduction and the conclusion contain a discussion of many related results and open problems in the area
-
51A normal logic that is complete for neighborhood frames but not for Kripke framesTheoria 41 (3): 148-153. 1975.
-
66Uncertainty Rules in Talmudic ReasoningHistory and Philosophy of Logic 32 (1): 63-69. 2011.The Babylonian Talmud, compiled from the 2nd to 7th centuries C.E., is the primary source for all subsequent Jewish laws. It is not written in apodeictic style, but rather as a discursive record of (real or imagined) legal (and other) arguments crossing a wide range of technical topics. Thus, it is not a simple matter to infer general methodological principles underlying the Talmudic approach to legal reasoning. Nevertheless, in this article, we propose a general principle that we believe helps …Read more
-
86Fuzzy logics based on [0,1)-continuous uninormsArchive for Mathematical Logic 46 (5-6): 425-449. 2007.Axiomatizations are presented for fuzzy logics characterized by uninorms continuous on the half-open real unit interval [0,1), generalizing the continuous t-norm based approach of Hájek. Basic uninorm logic BUL is defined and completeness is established with respect to algebras with lattice reduct [0,1] whose monoid operations are uninorms continuous on [0,1). Several extensions of BUL are also introduced. In particular, Cross ratio logic CRL, is shown to be complete with respect to one special …Read more
-
23Model Theory for Intuitionistic LogicZeitschrift fur mathematische Logik und Grundlagen der Mathematik 18 (4-6): 49-54. 1972.
-
13Elementary Logics: A Procedural PerspectivePrentice-Hall. 1998.This text aims to introduce classical logic in such a way that one can also easily deviate into discussing non-classical logics. It defines the many types of logics and the differences between them, starting with the basic notions of the most common logic and working through the many non-classical logics.
-
69Labelled deductive systemsOxford University Press. 1996.This important book provides a new unifying methodology for logic. It replaces the traditional view of logic as manipulating sets of formulas with the notion of structured families of labelled formulas with algebraic structures. This approach has far reaching consequences for the methodology of logics and their semantics, and the book studies the main features of such systems along with their applications. It will interest logicians, computer scientists, philosophers and linguists.
-
34Fibred semantics for feature-based grammar logicJournal of Logic, Language and Information 5 (3-4): 387-422. 1996.This paper gives a simple method for providing categorial brands of feature-based unification grammars with a model-theoretic semantics. The key idea is to apply the paradigm of fibred semantics (or layered logics, see Gabbay (1990)) in order to combine the two components of a feature-based grammar logic. We demonstrate the method for the augmentation of Lambek categorial grammar with Kasper/Rounds-style feature logic. These are combined by replacing (or annotating) atomic formulas of the first …Read more
-
124Direct deductive computation on discourse representation structuresLinguistics and Philosophy 17 (4). 1994.
-
Sampling Logic and Argumentation Networks: A ManifestoJournal of the Indian Council of Philosophical Research 27 (2). 2010.
-
39Decidability of some intuitionistic predicate theoriesJournal of Symbolic Logic 37 (3): 579-587. 1972.
-
22Journal of Applied Logic Special Volume on Neural-Symbolic SystemsJournal of Applied Logic 2 (3): 241-243. 2004.
-
48Sufficient conditions for the undecidability of intuitionistic theories with applicationsJournal of Symbolic Logic 37 (2): 375-384. 1972.
-
66Belief revision in non-classical logicsReview of Symbolic Logic 1 (3): 267-304. 2008.In this article, we propose a belief revision approach for families of (non-classical) logics whose semantics are first-order axiomatisable. Given any such (non-classical) logic , the approach enables the definition of belief revision operators for , in terms of a belief revision operation satisfying the postulates for revision theory proposed by Alchourrrdenfors and Makinson (AGM revision, Alchourrukasiewicz's many-valued logic. In addition, we present a general methodology to translate algebra…Read more
-
12Alternatives to Standard first-order SemanticsJournal of Symbolic Logic 54 (4): 1483-1484. 1989.
-
1Handbook of Philosophical Logic, 2nd Edition, Volume 5Tijdschrift Voor Filosofie 65 (1): 184-185. 2003.
-
68Meta-Argumentation Modelling I: Methodology and TechniquesStudia Logica 93 (2-3). 2009.In this paper, we introduce the methodology and techniques of metaargumentation to model argumentation. The methodology of meta-argumentation instantiates Dung's abstract argumentation theory with an extended argumentation theory, and is thus based on a combination of the methodology of instantiating abstract arguments, and the methodology of extending Dung's basic argumentation frameworks with other relations among abstract arguments. The technique of meta-argumentation applies Dung's theory of…Read more
-
23Reactive Kripke models and contrary to duty obligations. Part A: SemanticsJournal of Applied Logic 11 (1): 103-136. 2013.