-
43Remarks 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.
-
258A 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.
-
20Review: M. J. Cresswell, A Henkin Completeness Theorem for T; M. J. Cresswell, Alternative Completeness Theorems for Modal Systems; M. J. Cresswell, Some Proofs of Relative Completeness in Modal Logic (review)Journal of Symbolic Logic 35 (4): 581-582. 1970.Review of paper mentioned in the title.
-
12Review: E. J. Lemmon, An Extension Algebra and the Modal System T; E. J. Lemmon, Algebraic Semantics for Modal Logics (review)Journal of Symbolic Logic 35 (1): 136-137. 1970.
-
41A 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.
-
15An Alternative Characterization of First-Degree EntailmentJournal of Symbolic Logic 36 (3): 521. 1971.
-
13Review: Robert K. Meyer, J. Michael Dunn, E, R and $gamma$ (review)Journal of Symbolic Logic 36 (3): 521-522. 1971.
-
3Review: M. H. Lob, Extensional Interpretations of Modal Logics (review)Journal of Symbolic Logic 36 (4): 692-692. 1971.Review of the paper mentioned in the title.
-
23Review: F. R. Drake, On McKinsey's Syntactical Characterizations of Systems of Modal Logic (review)Journal of Symbolic Logic 36 (4): 691-692. 1971.Review of the paper mentioned in the title.
-
15Rubin 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.
-
14Review: Ian Hacking, What is Strict Implication? (review)Journal of Symbolic Logic 37 (2): 417-417. 1972.
-
9Review: Gerald J. Massey, Four Simple Systems of Modal Propositional Logic (review)Journal of Symbolic Logic 37 (4): 754-754. 1972.
-
5Review: Charles F. Kielkopf, Kripke's Axiomatization of S2 (review)Journal of Symbolic Logic 38 (4): 661-661. 1973.
-
3Review: Rolf George, Enthymematic Consequence (review)Journal of Symbolic Logic 38 (2): 325-325. 1973.Review of the paper mentioned in the title.
-
4Review: Ralph C. Applebee, Biswambhar Pahi, Some Results on Generalized Truth-Tables (review)Journal of Symbolic Logic 38 (3): 521-521. 1973.Review of the paper mentioned in the title.
-
46A 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.
-
48Post 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.
-
6Review: Arthur Pap, Logic and the Concept of Entailment (review)Journal of Symbolic Logic 40 (3): 466-466. 1975.
-
33Non-Equivalent Formulae in one Variable in A Strong Omnitemporal Modal LogicZeitschrift fur mathematische Logik und Grundlagen der Mathematik 27 (7): 111-112. 1981.
-
64Hierarchies 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.
-
15Quantificational 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.
-
20Non‐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.
-
14Review: Brian F. Chellas, Modal Logic. An Introduction (review)Journal of Symbolic Logic 46 (3): 670-672. 1981.
-
1Review: Nicholas Rescher, Robert Brandom, The Logic of Inconsistency. A Study in Non-Standard Possible-World Semantics and Ontology (review)Journal of Symbolic Logic 47 (1): 233-236. 1982.Review of the book mentioned in the title.
-
46Stenius' 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"
-
72How 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
-
69How 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
-
62On 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.
-
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 |