-
8Interactive Logic: Selected Papers From the 7th Augustus de Morgan Workshop, London (edited book)Amsterdam University Press. 2007.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 ...
-
46Products 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
-
52A 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
-
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.
-
23Model Theory for Intuitionistic LogicZeitschrift fur mathematische Logik und Grundlagen der Mathematik 18 (4-6): 49-54. 1972.
-
70Labelled 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.
-
35Fibred 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
-
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.
-
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.
-
23Journal 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.
-
67Belief 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
-
46Handbook of Defeasible Reasoning and Uncertainty Management Systems, Vol 3 (edited book)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 ...
-
64Meta-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.
-
41Fibring Argumentation FramesStudia 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
-
23Calendar LogicJournal 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
-
8Algorithms in cognition, informatics and logic: A position manifestoLogic Journal of the IGPL 18 (6): 763-768. 2010.
-
8