-
105Bull R. A.. A note on the modal calculi S4.2 and S4.3. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 10 , pp. 53–55.Bull R. A.. A class of extensions of the modal system S4 with the finite model property. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 11 , pp. 127–132.Bull R. A.. That all normal extensions of S4.3 have the finite model property. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 12 , pp. 341–344 (review)Journal of Symbolic Logic 33 (1): 136-136. 1968.Reviews of the papers mentioned in the title.
-
35Review: Alan Ross Anderson, Nuel D. Belnap, Tautological Entailments (review)Journal of Symbolic Logic 33 (4): 608-608. 1968.
-
123Remarks on the concept of distribution in traditional logicNoûs 3 (1): 103-108. 1969.Uses ideas of mathematical logic to clarify and to a certain extent defend a controverted and rather obscure notion of traditional syllogistic.
-
337A normal modal calculus between T and s4 without the finite model propertyJournal of Symbolic Logic 34 (1): 35-38. 1969.The first example of an intuitively meaningful propositional logic without the finite model property, and still the simplest one in the literature. The question of its decidability appears still to be open.
-
122A generalisation of the concept of a relational model for modal logicTheoria 36 (3): 331-335. 1970.Generalises the concept of a relational model for modal logic, due to Kripke, so as to obtain a closer correspondence between relational and algebraic models. The generalisation obtained is essentially equivalent to the notion of a "first-order" model that was defined independently by S.K.Thomason.
-
29Review: Robert K. Meyer, J. Michael Dunn, E, R and $gamma$ (review)Journal of Symbolic Logic 36 (3): 521-522. 1971.
-
85Rubin Jean E.. Bi-modal logic, double-closure algebras, and Hilbert space. Zeitsckrift für matkematische Logik und Grundlagen der Mathematik, vol. 8 pp. 305–322 (review)Journal of Symbolic Logic 37 (1): 184-184. 1972.Review of the paper mentioned in the title.
-
89A warning about the choice of primitive operators in modal logicJournal of Philosophical Logic 2 (2). 1973.Draws attention to some unexpected consequences of using a zero-ary connective in modal propositional logic.
-
82Post Completeness and UltrafiltersZeitschrift fur mathematische Logik und Grundlagen der Mathematik 20 (25-27): 385-388. 1974.A cardinality result in modal propositional logic.
-
David levis, counterfactuals (review)Studia Logica 33 (n/a): 427. 1974.Review of the book mentioned in the title.
-
67Non-Equivalent Formulae in one Variable in A Strong Omnitemporal Modal LogicZeitschrift fur mathematische Logik und Grundlagen der Mathematik 27 (7): 111-112. 1981.
-
110Hierarchies of regulations and their logicIn Risto Hilpinen (ed.), New Studies in Deontic Logic: Norms, Actions, and the Foundations of Ethics, Wiley-blackwell. pp. 125--148. 1981.Investigates the resolution of contradictions and ambiguous derogations in a code, by means of the imposition of partial orderings.
-
40Quantificational reefs in deontic watersIn Risto Hilpinen (ed.), New Studies in Deontic Logic: Norms, Actions, and the Foundations of Ethics, Wiley-blackwell. pp. 87--91. 1981.Illustrates the prevalence of implicit quantification in deontic assertions in ordinary language.
-
59Non‐Equivalent Formulae in one Variable in A Strong Omnitemporal Modal LogicMathematical Logic Quarterly 27 (7): 111-112. 1981.Shows that a certain temporal logic has infinitely many non-equivalent formulae in a single variable.
-
100Stenius' approach to disjunctive permissionTheoria 50 (2-3): 138-147. 1984.A critical review of Stenius' account of the logic of disjunctive permissions, leading to a proposal for a closely related approach in terms of "checklist conditionals"
-
149How to give it up: A survey of some formal aspects of the logic of theory changeSynthese 62 (3). 1985.The paper surveys some recent work on formal aspects of the logic of theory change. It begins with a general discussion of the intuitive processes of contraction and revision of a theory, and of differing strategies for their formal study. Specific work is then described, notably Gärdenfors'' postulates for contraction and revision, maxichoice contraction and revision functions and the condition of orderliness, partial meet contraction and revision functions and the condition of relationality, a…Read more
-
143How to give it up: A survey of some formal aspects of the logic of theory changeSynthese 68 (1). 1986.The paper surveys some recent work on formal aspects of the logic of theory change. It begins with a general discussion of the intuitive processes of contraction and revision of a theory, and of differing strategies for their formal study. Specific work is then described, notably Gärdenfors' postulates for contraction and revision, maxichoice contraction and revision functions and the condition of orderliness, partial meet contraction and revision functions and the condition of relationality, an…Read more
-
106On the formal representation of rights relationsJournal of Philosophical Logic 15 (4). 1986.A discussion of work formalising Hohfeld's classic taxonomy of rights relations between two parties.
-
146Maps between some different kinds of contraction function: The finite caseStudia Logica 45 (2): 187-198. 1986.In some recent papers, the authors and Peter Gärdenfors have defined and studied two different kinds of formal operation, conceived as possible representations of the intuitive process of contracting a theory to eliminate a proposition. These are partial meet contraction (including as limiting cases full meet contraction and maxichoice contraction) and safe contraction. It is known, via the representation theorem for the former, that every safe contraction operation over a theory is a partial me…Read more
-
93On the status of the postulate of recovery in the logic of theory changeJournal of Philosophical Logic 16 (4). 1987.Describes and discusses the rather special behaviour of one of the postulates in the AGM account of theory change.
-
65On attributing rights to all peoples: Some logical questions (review)Law and Philosophy 8 (1). 1989.
-
84The gärdenfors impossibility theorem in non-monotonic contextsStudia Logica 49 (1). 1990.Gärdenfors' impossibility theorem draws attention to certain formal difficulties in defining a conditional connective from a notion of theory revision, via the Ramsey test. We show that these difficulties are not avoided by taking the background inference operation to be non-monotonic.
-
69Relations between the logic of theory change and nonmonotonic logicIn Andre Fuhrmann & Michael Morreau (eds.), The Logic of Theory Change: Workshop, Konstanz, FRG, October 13-15, 1989, Proceedings, Springer. pp. 183--205. 1991.Examines the link between nonmonotonic inference relations and theory revision operations, focusing on the correspondence between abstract properties which each may satisfy.
-
139The relationship between KLM and MAK models for nonmonotonic inference operationsJournal of Logic, Language and Information 1 (2): 131-140. 1992.The purpose of this note is to make quite clear the relationship between two variants of the general notion of a preferential model for nonmonotonic inference: the models of Kraus, Lehmann and Magidor (KLM models) and those of Makinson (MAK models).On the one hand, we introduce the notion of the core of a KLM model, which suffices to fully determine the associated nonmonotonic inference relation. On the other hand, we slightly amplify MAK models with a monotonic consequence operation as addition…Read more
-
143Five faces of minimalityStudia Logica 52 (3). 1993.We discuss similarities and residual differences, within the general semantic framework of minimality, between defeasible inference, belief revision, counterfactual conditionals, updating — and also conditional obligation in deontic logic. Our purpose is not to establish new results, but to bring together existing material to form a clear overall picture.
-
3General Patterns in Nonmonotonic ReasoningIn Handbook of Logic in Artificial Intelligence Nad Logic Programming, Vol. Iii, Clarendon Press. pp. 35-110. 1994.An extended review of what is known about the formal behaviour of nonmonotonic inference operations, including those generated by the principal systems in the artificial intelligence literature. Directed towards computer scientists and others with some background in logic.
-
16In memoriam carlos eduardo alchourronNordic Journal of Philosophical Logic 1 (1): 3-10. 1996.Obituary notice with overview of the work of Carlos Alchourrón, focussing on his contributions to the logic of theory change.
-
98Combinatorial versus decision-theoretic components of impossibility theoremsTheory and Decision 40 (2): 181-189. 1996.Separates the purely combinatorial component of Arrow's impossibility theorem in the theory of collective preference from its decision-theoretic part, and likewise for the closely related Blair/Bordes/Kelly/Suzumura theorem. Such a separation provides a particularly elegant proof of Arrow's result, via a new 'splitting theorem'.
-
London School of EconomicsDepartment of Philosophy, Logic and Scientific MethodProfessor (Part-time)
Holborn, England, United Kingdom of Great Britain and Northern Ireland
Areas of Specialization
| Science, Logic, and Mathematics |
Areas of Interest
| Science, Logic, and Mathematics |