David Makinson

50 papers B 2Journal 36Unranked 6

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Hamilton's cumular conception of quantifying particles: an exercise in third-order logic. J. Log. Comput. David Makinson
2024	J	`jnl`	A Guide to Ivan Orlov's "The calculus of the compatibility of propositions". Australas. J. Log. David Makinson, Werner Stelzner
2024	J	`jnl`	Display Conventions for Octagons of Opposition. Axioms David Makinson
2024	J	`jnl`	First-order Friendliness. Rev. Symb. Log. Guillermo Badia, David Makinson
2022	J	`jnl`	Boole's indefinite symbols re-examined. Australas. J. Log. David Makinson
2022	J	`jnl`	Frege's Ontological Diagram Completed. Logica Universalis David Makinson
2020	—	`book`	Sets, Logic and Maths for Computing, Third Edition David Makinson
2017	J	`jnl`	Relevance via decomposition. Australas. J. Log. David Makinson
2015	J	`jnl`	Book Review: Nicholas J.J. Smith, Logic: The Laws of Truth. Stud Logica David Makinson
2015	J	`jnl`	Göodel's Master Argument: What is it, and what can it do? FLAP David Makinson
2014	J	`jnl`	On an inferential semantics for classical logic. Log. J. IGPL David Makinson
2012	J	`jnl`	Logical questions behind the lottery and preface paradoxes: lossy rules for uncertain inference. Synth. David Makinson
2012	—	`book`	Sets, Logic and Maths for Computing, Second Edition. David Makinson
2011	J	`jnl`	Conditional Probability in the Light of Qualitative Belief Change. J. Philos. Log. David Makinson
2009	—	`ch.`	From Logic to Mathematical Philosophy. Towards Mathematical Philosophy David Makinson, Jacek Malinowski, Heinrich Wansing
2009	J	`jnl`	Propositional relevance through letter-sharing. J. Appl. Log. David Makinson
2009	—	`book`	Towards Mathematical Philosophy David Makinson, Jacek Malinowski, Heinrich Wansing
2008	—	`book`	Sets, Logic and Maths for Computing. David Makinson
2007	J	`jnl`	Parallel interpolation, splitting, and relevance in belief change. J. Symb. Log. George Kourousias, David Makinson
2007	—	`conf`	Propositional Relevance through Letter-Sharing: Review and Contribution. Formal Models of Belief Change in Rational Agents David Makinson
2007	J	`jnl`	The Quantitative/Qualitative Watershed for Rules of Uncertain Inference. Stud Logica James Hawthorne, David Makinson
2007	—	`conf`	What is Input/Output Logic? Input/Output Logic, Constraints, Permissions. Normative Multi-agent Systems David Makinson, Leendert W. N. van der Torre
2005	—	`book`	Bridges from classical to nonmonotonic logic. David Makinson
2005	—	`conf`	Friendliness for Logicians. We Will Show Them! (2) David Makinson
2003	J	`jnl`	Bridges between Classical and Nonmonotonic Logic. Log. J. IGPL David Makinson
2003	J	`jnl`	Permission from an Input/Output Perspective. J. Philos. Log. David Makinson, Leendert W. N. van der Torre
2001	J	`jnl`	Constraints for Input/Output Logics. J. Philos. Log. David Makinson, Leendert W. N. van der Torre
2000	J	`jnl`	Input/Output Logics. J. Philos. Log. David Makinson, Leendert W. N. van der Torre
1997	J	`jnl`	Beyond Rational Monotony: Some Strong Non-Horn Rules for Nonmonotonic Inference Relations. J. Log. Comput. Hassan Bezzazi, David Makinson, Ramón Pino Pérez
1994	J	`jnl`	Local and Global Metrics for the Semantics of Counterfactual Conditionals. J. Appl. Non Class. Logics Karl Schlechta, David Makinson
1994	J	`jnl`	Nonmonotonic Inference Based on Expectations. Artif. Intell. Peter Gärdenfors, David Makinson
1993	J	`jnl`	Five faces of minimality. Stud Logica David Makinson
1992	J	`jnl`	The Relationship between KLM and MAK models for Nonmonotonic Inference Operations. J. Log. Lang. Inf. Jürgen Dix, David Makinson
1991	J	`jnl`	Floating Conclusions and Zombie Paths: Two Deep Difficulties in the "Directly Skeptical" Approach to Defeasible Inheritance Nets. Artif. Intell. David Makinson, Karl Schlechta
1991	B	`conf`	JTMS and Logic Programming. LPNMR Gerhard Brewka, David Makinson, Karl Schlechta
1990	—	`conf`	Cumulative Inference Relations for JTMS and Logic Programming. Nonmonotonic and Inductive Logic Gerhard Brewka, David Makinson, Karl Schlechta
1990	J	`jnl`	The Gärdenfors impossibility theorem in non-monotonic contexts. Stud Logica David Makinson
1989	—	`conf`	Relations between the logic of theory change and nonmonotonic logic. The Logic of Theory Change David Makinson, Peter Gärdenfors
1988	—	`conf`	General Theory of Cumulative Inference. NMR David Makinson
1988	B	`conf`	Revisions of Knowledge Systems Using Epistemic Entrenchment. TARK Peter Gärdenfors, David Makinson
1987	J	`jnl`	On the status of the postulate of recovery in the logic of theory change. J. Philos. Log. David Makinson
1986	J	`jnl`	Maps between some different kinds of contraction function: The finite case. Stud Logica Carlos E. Alchourrón, David Makinson
1986	J	`jnl`	On the formal representation of rights relations. J. Philos. Log. David Makinson
1985	J	`jnl`	On the Logic of Theory Change: Partial Meet Contraction and Revision Functions. J. Symb. Log. Carlos E. Alchourrón, Peter Gärdenfors, David Makinson
1985	J	`jnl`	On the logic of theory change: Safe contraction. Stud Logica Carlos E. Alchourrón, David Makinson
1981	J	`jnl`	Non-Equivalent Formulae in one Variable in A Strong Omnitemporal Modal Logic. Math. Log. Q. David Makinson
1973	J	`jnl`	A warning about the choice of primitive operators in modal logic. J. Philos. Log. David Makinson
1971	J	`jnl`	Some embedding theorems for modal logic. Notre Dame J. Formal Log. David Makinson
1969	J	`jnl`	A Normal Modal Calculus Between T and S4 Without the Finite Model Property. J. Symb. Log. David Makinson
1966	J	`jnl`	There are Infinitely many Diodorean Modal Functions. J. Symb. Log. David Makinson