David Makinson

Axioms, May, 2024

2022

Frege's Ontological Diagram Completed.

[BibT_eX]

[DOI]

Logica Universalis, 2022

2020

Sets, Logic and Maths for Computing, Third Edition

[BibT_eX]

[DOI]

Undergraduate Topics in Computer Science, Springer, ISBN: 978-3-030-42217-2, 2020

2015

Book Review: Nicholas J.J. Smith, Logic: The Laws of Truth.

[BibT_eX]

[DOI]

Stud Logica, 2015

Göodel's Master Argument: What is it, and what can it do?

[BibT_eX]

[DOI]

FLAP, 2015

2014

On an inferential semantics for classical logic.

[BibT_eX]

[DOI]

Log. J. IGPL, 2014

2012

Logical questions behind the lottery and preface paradoxes: lossy rules for uncertain inference.

[BibT_eX]

[DOI]

Synth., 2012

Sets, Logic and Maths for Computing, Second Edition.

[BibT_eX]

[DOI]

Undergraduate Topics in Computer Science, Springer, ISBN: 978-1-4471-2499-3, 2012

2011

Conditional Probability in the Light of Qualitative Belief Change.

[BibT_eX]

[DOI]

J. Philos. Log., 2011

2009

Propositional relevance through letter-sharing.

[BibT_eX]

[DOI]

J. Appl. Log., 2009

From Logic to Mathematical Philosophy.

[BibT_eX]

[DOI]

Jacek Malinowski

Heinrich Wansing

Proceedings of the Towards Mathematical Philosophy, 2009

2008

Sets, Logic and Maths for Computing.

[BibT_eX]

[DOI]

Undergraduate Topics in Computer Science, Springer, ISBN: 978-1-84628-845-6, 2008

2007

The Quantitative/Qualitative Watershed for Rules of Uncertain Inference.

[BibT_eX]

[DOI]

James Hawthorne

Stud Logica, 2007

Parallel interpolation, splitting, and relevance in belief change.

[BibT_eX]

[DOI]

George Kourousias

J. Symb. Log., 2007

What is Input/Output Logic? Input/Output Logic, Constraints, Permissions.

[BibT_eX]

[DOI]

Proceedings of the Normative Multi-agent Systems, 18.03. - 23.03.2007, 2007

Propositional Relevance through Letter-Sharing: Review and Contribution.

[BibT_eX]

[DOI]

Proceedings of the Formal Models of Belief Change in Rational Agents, 26.08. - 30.08.2007, 2007

2005

Friendliness for Logicians.

[BibT_eX]

Proceedings of the We Will Show Them! Essays in Honour of Dov Gabbay, Volume Two, 2005

Bridges from classical to nonmonotonic logic.

[BibT_eX]

Texts in computing 5, College Publications, ISBN: 978-1-904987-00-0, 2005

2003

Permission from an Input/Output Perspective.

[BibT_eX]

[DOI]

J. Philos. Log., 2003

Bridges between Classical and Nonmonotonic Logic.

[BibT_eX]

[DOI]

Log. J. IGPL, 2003

2001

Constraints for Input/Output Logics.

[BibT_eX]

[DOI]

J. Philos. Log., 2001

2000

Input/Output Logics.

[BibT_eX]

[DOI]

J. Philos. Log., 2000

1997

Beyond Rational Monotony: Some Strong Non-Horn Rules for Nonmonotonic Inference Relations.

[BibT_eX]

[DOI]

Hassan Bezzazi

Ramón Pino Pérez

J. Log. Comput., 1997

1994

Local and Global Metrics for the Semantics of Counterfactual Conditionals.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 1994

Nonmonotonic Inference Based on Expectations.

[BibT_eX]

[DOI]

Artif. Intell., 1994

1993

Five faces of minimality.

[BibT_eX]

[DOI]

Stud Logica, 1993

1992

The Relationship between KLM and MAK models for Nonmonotonic Inference Operations.

[BibT_eX]

[DOI]

Jürgen Dix

J. Log. Lang. Inf., 1992

1991

Floating Conclusions and Zombie Paths: Two Deep Difficulties in the "Directly Skeptical" Approach to Defeasible Inheritance Nets.

[BibT_eX]

[DOI]

Artif. Intell., 1991

JTMS and Logic Programming.

[BibT_eX]

Gerhard Brewka

Proceedings of the Logic Programming and Non-monotonic Reasoning, 1991

1990

The Gärdenfors impossibility theorem in non-monotonic contexts.

[BibT_eX]

[DOI]

Stud Logica, 1990

Cumulative Inference Relations for JTMS and Logic Programming.

[BibT_eX]

[DOI]

Gerhard Brewka

Proceedings of the Nonmonotonic and Inductive Logic, 1990

1989

Relations between the logic of theory change and nonmonotonic logic.

[BibT_eX]

[DOI]

Proceedings of the Logic of Theory Change, 1989

1988

Revisions of Knowledge Systems Using Epistemic Entrenchment.

[BibT_eX]

Proceedings of the 2nd Conference on Theoretical Aspects of Reasoning about Knowledge, 1988

General Theory of Cumulative Inference.

[BibT_eX]

[DOI]

Proceedings of the Non-Monotonic Reasoning, 1988

1987

On the status of the postulate of recovery in the logic of theory change.

[BibT_eX]

[DOI]

J. Philos. Log., 1987

1986

Maps between some different kinds of contraction function: The finite case.

[BibT_eX]

[DOI]

Carlos E. Alchourrón

Stud Logica, 1986

On the formal representation of rights relations.

[BibT_eX]

[DOI]

J. Philos. Log., 1986

1985

On the logic of theory change: Safe contraction.

[BibT_eX]

[DOI]

Carlos E. Alchourrón

Stud Logica, 1985

On the Logic of Theory Change: Partial Meet Contraction and Revision Functions.

[BibT_eX]

[DOI]

Carlos E. Alchourrón

J. Symb. Log., 1985

1981

Non-Equivalent Formulae in one Variable in A Strong Omnitemporal Modal Logic.

[BibT_eX]

[DOI]

Math. Log. Q., 1981

1973

A warning about the choice of primitive operators in modal logic.

[BibT_eX]

[DOI]

J. Philos. Log., 1973

1971

Some embedding theorems for modal logic.

[BibT_eX]

[DOI]

Notre Dame J. Formal Log., 1971

1969

A Normal Modal Calculus Between T and S4 Without the Finite Model Property.

[BibT_eX]

[DOI]

J. Symb. Log., 1969

1966

There are Infinitely many Diodorean Modal Functions.

[BibT_eX]

[DOI]