•  8
    This collection of papers from the workshop serves as the initial volume in the new series Texts in Logics and Games—touching on research in logic, mathematics, computer science, and game theory. “A wonderful demonstration of ...
  •  46
    Products of modal logics, part 1
    Logic 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
  •  66
    Uncertainty Rules in Talmudic Reasoning
    with Moshe Koppel
    History 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
  •  13
    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.
  •  2
    Handbook of Logic in Computer Science (edited book)
    with S. Abramsky and T. Maibaurn
    Oxford University Press. 1992.
  •  23
    Model Theory for Intuitionistic Logic
    Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 18 (4-6): 49-54. 1972.
  •  25
  •  70
    Labelled deductive systems
    Oxford 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.
  •  35
    Fibred semantics for feature-based grammar logic
    with Jochen Dörre and Esther König
    Journal 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
  • Sampling Logic and Argumentation Networks: A Manifesto
    Journal of the Indian Council of Philosophical Research 27 (2). 2010.
  •  12
    Alternatives to Standard first-order Semantics
    with Hugues Leblanc and F. Guenthner
    Journal of Symbolic Logic 54 (4): 1483-1484. 1989.
  •  1
    Handbook of Philosophical Logic, 2nd Edition, Volume 5
    with Franz Guenthner
    Tijdschrift Voor Filosofie 65 (1): 184-185. 2003.
  •  23
    Journal of Applied Logic Special Volume on Neural-Symbolic Systems
    with Artur D'Avila Garcez, Steffen Hölldobler, and John G. Taylor
    Journal of Applied Logic 2 (3): 241-243. 2004.
  •  67
    Belief revision in non-classical logics
    with Odinaldo Rodrigues and Alessandra Russo
    Review 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
  •  46
    Handbook of Defeasible Reasoning and Uncertainty Management Systems, Vol 3 (edited book)
    with P. Smets
    Kluwer Academic. 1998.
    HANDBOOK OF DEFEASIBLE REASONING AND UNCERTAINTY MANAGEMENT SYSTEMS EDITORS: DOV M. ... and A. Hunter Volume 3: Belief Change Edited by D. Dubois and H. Prade HANDBOOK OF DEFEASIBLE REASONING AND ...
  •  64
    Meta-Argumentation Modelling I: Methodology and Techniques
    with Guido Boella, Dov M. Gabbay, Leendert van der Torre, and Serena Villata
    Studia 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
  •  51
  •  41
    Fibring Argumentation Frames
    Studia Logica 93 (2): 231-295. 2009.
    This paper is part of a research program centered around argumentation networks and offering several research directions for argumentation networks, with a view of using such networks for integrating logics and network reasoning. In Section 1 we introduce our program manifesto. In Section 2 we motivate and show how to substitute one argumentation network as a node in another argumentation network. Substitution is a purely logical operation and doing it for networks, besides developing their theo…Read more
  •  22
    General Intensional Logic
    with C. Anthony Anderson and F. Guenthner
    Journal of Symbolic Logic 55 (2): 892-894. 1990.
  •  23
    Calendar Logic
    with Hans Jürgen Ohlbach
    Journal of Applied Non-Classical Logics 8 (4): 291-323. 1998.
    ABSTRACT A propositional temporal logic is introduced whose operators quantify over intervals of a reference time line. The intervals are specified symbolically, for example ?next week's weekend?. The specification language for the intervals takes into account all the features of real calendar systems. A simple statement which can be expressed in this language is for example: ?yesterday I worked for eight hours with one hour lunch break at noon?. Calendar Logic can be translated into proposition…Read more
  •  23
    Preface for Studia Logica Special Issue (2)
    with Dov M. Gabbay and Leendert van der Torre
    Studia Logica 93 (2-3). 2009.
  •  8
    Algorithms in cognition, informatics and logic: A position manifesto
    with J. Siekmann
    Logic Journal of the IGPL 18 (6): 763-768. 2010.
  •  8
    Thorough refereeing
    with Hans Ohlbach and Ruy de Queiroz
    Logic Journal of the IGPL 2 (2): 135-136. 1994.
  • Editorial
    Logic Journal of the IGPL 1 (1): 1-2. 1993.