•  40
    Preface for Studia Logica Special Issue (2)
    with Dov M. Gabbay and Leendert van der Torre
    Studia Logica 93 (2-3). 2009.
  •  7
    Belief contraction, anti-formulae and resource overdraft: Part II deletion in resource unbounded logics
    with Odinaldo Rodrigues and John Woods
    In S. Rahman J. Symons (ed.), Logic, Epistemology, and the Unity of Science, Kluwer Academic Publisher. pp. 291--326. 2004.
  • Sampling Logic and Argumentation Networks: A Manifesto
    Journal of the Indian Council of Philosophical Research 27 (2). 2010.
  • Fibring Logics
    Studia Logica 66 (3): 440-443. 2000.
  • Logic Colloquium '92 (edited book)
    with Lazlo Csirmaz and Maarten de Rijke
    Center for the Study of Language and Inf. 1995.
  •  14
    with Fiora Pirri
    Studia Logica 59 (2): 147-148. 1997.
  •  33
    Montague Type Semantics for Modal Logics with Propositional Quantifiers
    Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 17 (1): 245-249. 1971.
  •  35
    In this work we develop goal-directed deduction methods for the implicational fragment of several modal logics. We give sound and complete procedures for strict implication of K, T, K4, S4, K5, K45, KB, KTB, S5, G and for some intuitionistic variants. In order to achieve a uniform and concise presentation, we first develop our methods in the framework of Labelled Deductive Systems [Gabbay 96]. The proof systems we present are strongly analytical and satisfy a basic property of cut admissibility.…Read more
  •  55
    Two dimensional Standard Deontic Logic [including a detailed analysis of the 1985 Jones–Pörn deontic logic system]
    with Mathijs Boer, Xavier Parent, and Marija Slavkovic
    Synthese 187 (2): 623-660. 2012.
    This paper offers a two dimensional variation of Standard Deontic Logic SDL, which we call 2SDL. Using 2SDL we can show that we can overcome many of the difficulties that SDL has in representing linguistic sets of Contrary-to-Duties (known as paradoxes) including the Chisholm, Ross, Good Samaritan and Forrester paradoxes. We note that many dimensional logics have been around since 1947, and so 2SDL could have been presented already in the 1970s. Better late than never! As a detailed case study i…Read more
  •  50
    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
  •  41
    Logical modes of attack in argumentation networks
    with Artur S. D’Avila Garcez
    Studia Logica 93 (2-3): 199-230. 2009.
    This paper studies methodologically robust options for giving logical contents to nodes in abstract argumentation networks. It defines a variety of notions of attack in terms of the logical contents of the nodes in a network. General properties of logics are refined both in the object level and in the metalevel to suit the needs of the application. The network-based system improves upon some of the attempts in the literature to define attacks in terms of defeasible proofs, the so-called rule-bas…Read more
  •  53
    In 2005 the author introduced networks which allow attacks on attacks of any level. So if a → b reads a attacks 6, then this attack can itself be attacked by another node c. This attack itself can attack another node d. This situation can be iterated to any level with attacks and nodes attacking other attacks and other nodes. In this paper we provide semantics (of extensions) to such networks. We offer three different approaches to obtaining semantics. 1. The translation approach This uses the m…Read more
  •  41
    A Meta-model of Access Control in a Fibred Security Language
    with Steve Barker, Guido Boella, Dov M. Gabbay, and Valerio Genovese
    Studia Logica 92 (3): 437-477. 2009.
    The issue of representing access control requirements continues to demand significant attention. The focus of researchers has traditionally been on developing particular access control models and policy specification languages for particular applications. However, this approach has resulted in an unnecessary surfeit of models and languages. In contrast, we describe a general access control model and a logic-based specification language from which both existing and novel access control models may…Read more
  •  2
    Interest Group in Pure and Applied Logics
    with R. D. Queiroz and H. J. Ohlbach
    Logic Journal of the IGPL 3 (1): 151-152. 1995.
  •  17
  • Handbook of Philosophical Logic, Vol. Iii (edited book)
    with F. Guenther
    D. Reidel Publishing Co.. 1986.
  •  75
    Adding a temporal dimension to a logic system
    with Marcelo Finger
    Journal of Logic, Language and Information 1 (3): 203-233. 1992.
    We introduce a methodology whereby an arbitrary logic system L can be enriched with temporal features to create a new system T(L). The new system is constructed by combining L with a pure propositional temporal logic T (such as linear temporal logic with Since and Until) in a special way. We refer to this method as adding a temporal dimension to L or just temporalising L. We show that the logic system T(L) preserves several properties of the original temporal logic like soundness, completeness, …Read more
  •  38
    Philosophy of economics (edited book)
    with Uskali Mäki, Paul Thagard, and John Woods
    North Holland. 2012.
    This volume serves as a detailed introduction for those new to the field as well as a rich source of new insights and potential research agendas for those already engaged with the philosophy of economics.
  •  2
    Products of modal logics and tensor products of modal algebras
    with Ilya Shapirovsky and Valentin Shehtman
    Journal of Applied Logic 12 (4): 570-583. 2014.
  •  13
    Two dimensional deontic logic
    with M. de Boer, X. Parent, and M. Slavkova
    Synthese 187 (2). 2012.