
1Classical Vs NonClassical Logics: The Universality of Classical LogicMaxPlanckInstitut für Informatik. 1993.

47On modal logics characterized by models with relative accessibility relations: Part IStudia Logica 65 (3): 323353. 2000.This work is divided in two papers (Part I and Part II). In Part I, we study a class of polymodal logics (herein called the class of "Rarelogics") for which the set of terms indexing the modal operators are hierarchized in two levels: the set of Boolean terms and the set of terms built upon the set of Boolean terms. By investigating different algebraic properties satisfied by the models of the Rarelogics, reductions for decidability are established by faithfully translating the Rarelogics int…Read more

29Handbook 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 ...

3Logic and cognitionTopoi 26 (1): 5162. 2007.We consider connections between number sense—the ability to judge number—and the interpretation of natural language quantifiers. In particular, we present empirical evidence concerning the neuroanatomical underpinnings of number sense and quantifier interpretation. We show, further, that impairment of number sense in patients can result in the impairment of the ability to interpret sentences containing quantifiers. This result demonstrates that number sense supports some aspects of the language …Read more

18Model Theory for Intuitionistic LogicZeitschrift fur mathematische Logik und Grundlagen der Mathematik 18 (46): 4954. 1972.

11A Practical Logic of Cognitive SystemsNorth Holland. 2003.Agenda Relevance is the first volume in the authors' omnibus investigation of the logic of practical reasoning, under the collective title, A Practical Logic of Cognitive Systems. In this highly original approach, practical reasoning is identified as reasoning performed with comparatively few cognitive assets, including resources such as information, time and computational capacity. Unlike what is proposed in optimization models of human cognition, a practical reasoner lacks perfect information,…Read more

Sampling logic and argumentationJournal of the Indian Council of Philosophical Research 28 (2): 233255. 2010.

19Fibring LogicsClarendon Press. 1999.Modern applications of logic in mathematics, computer science, and linguistics use combined systems of different types of logic working together. This book develops a method for combiningor fibringsystems by breaking them into simple components which can be manipulated easily and recombined.

24The undecidability of intuitionistic theories of algebraically closed fields and real closed fieldsJournal of Symbolic Logic 38 (1): 8692. 1973.

7A Language For Handling Hypothetical Updates And InconsistencyLogic Journal of the IGPL 4 (3): 385416. 1996.In this paper we propoee a logic programming language which supports hypothetical updates together with integrity constraints. The language makes use of a revision mechanism, which is needed to restore consistency when an update violates some integrity constraint. The revision policy adopted is based on the simple idea that more recent information is preferred to earlier one. We show how this language can be used to represent and perform several types of defeasible reasoning. We develop a logica…Read more

34Complete Extensions in Argumentation Coincide with 3Valued Stable Models in Logic ProgrammingStudia Logica 93 (2): 383403. 2009.In this paper, we prove the correspondence between complete extensions in abstract argumentation and 3valued stable models in logic programming. This result is in line with earlier work of [6] that identified the correspondence between the grounded extension in abstract argumentation and the wellfounded model in logic programming, as well as between the stable extensions in abstract argumentation and the stable models in logic programming

27Sufficient conditions for the undecidability of intuitionistic theories with applicationsJournal of Symbolic Logic 37 (2): 375384. 1972.

22Expressive functional completeness in tense logic (preliminary report)In U. Mönnich (ed.), Aspects of Philosophical Logic, Dordrecht. pp. 91117. 1981.

45MetaArgumentation Modelling I: Methodology and TechniquesStudia Logica 93 (23). 2009.In this paper, we introduce the methodology and techniques of metaargumentation to model argumentation. The methodology of metaargumentation 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 metaargumentation applies Dung's theory of…Read more

The Handbook of the History of Logic. Volume 6: Logic and Modalities in the Twentieth Century (edited book)Elsevier. 2006.

9Calendar LogicJournal of Applied NonClassical Logics 8 (4): 291323. 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

51Resourceorigins of NonmonotonicityStudia Logica 88 (1): 85112. 2008.Formal nonmonotonic systems try to model the phenomenon that common sense reasoners are able to “jump” in their reasoning from assumptions Δ to conclusions C without their being any deductive chain from Δ to C. Such jumps are done by various mechanisms which are strongly dependent on context and knowledge of how the actual world functions. Our aim is to motivate these jump rules as inference rules designed to optimise survival in an environment with scant resources of effort and time. We begin w…Read more

3Defeasible inheritance systems and reactive diagramsLogic Journal of the IGPL 17 (1): 154. 2008.Inheritance diagrams are directed acyclic graphs with two types of connections between nodes: x → y and x ↛ y . Given a diagram D, one can ask the formal question of “is there a valid path between node x and node y?” Depending on the existence of a valid path we can answer the question “x is a y” or “x is not a y”. The answer to the above question is determined through a complex inductive algorithm on paths between arbitrary pairs of points in the graph. This paper aims to simplify and interpret…Read more

22Fibred semantics for featurebased grammar logicJournal of Logic, Language and Information 5 (34): 387422. 1996.This paper gives a simple method for providing categorial brands of featurebased unification grammars with a modeltheoretic 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 featurebased grammar logic. We demonstrate the method for the augmentation of Lambek categorial grammar with Kasper/Roundsstyle feature logic. These are combined by replacing (or annotating) atomic formulas of the first …Read more

16Alternative Set TheoriesIn Dov Gabbay (ed.), The Handbook of the History of Logic, Elsevier. 2009.