David Makinson on Classical Methods for Non-Classical Problems - Outstanding Contributions to Logic
Latest Publications

TOTAL DOCUMENTS

18

(FIVE YEARS 0)

H-INDEX

3

(FIVE YEARS 0)

Published By Springer Netherlands

9789400777583, 9789400777590

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

New Horn Rules for Probabilistic Consequence: Is $$\mathrm{O}{+}$$ O + Enough?

David Makinson on Classical Methods for Non-Classical Problems - Outstanding Contributions to Logic ◽

10.1007/978-94-007-7759-0_9 ◽

2013 ◽

pp. 157-166 ◽

Author(s):

James Hawthorne

Keyword(s):

Download Full-text

Safe Contraction Revisited

David Makinson on Classical Methods for Non-Classical Problems - Outstanding Contributions to Logic ◽

10.1007/978-94-007-7759-0_4 ◽

2013 ◽

pp. 35-70 ◽

Author(s):

Hans Rott ◽

Sven Ove Hansson

Download Full-text

David Makinson and the Extension of Classical Logic

David Makinson on Classical Methods for Non-Classical Problems - Outstanding Contributions to Logic ◽

10.1007/978-94-007-7759-0_2 ◽

2013 ◽

pp. 11-18 ◽

Author(s):

Sven Ove Hansson ◽

Peter Gärdenfors

Keyword(s):

Classical Logic

Download Full-text

Relevance Logic as a Conservative Extension of Classical Logic

David Makinson on Classical Methods for Non-Classical Problems - Outstanding Contributions to Logic ◽

10.1007/978-94-007-7759-0_17 ◽

2013 ◽

pp. 383-398

Author(s):

David Makinson

Keyword(s):

Classical Logic ◽

Relevance Logic ◽

Conservative Extension

Download Full-text

Norm Change in the Common Law

David Makinson on Classical Methods for Non-Classical Problems - Outstanding Contributions to Logic ◽

10.1007/978-94-007-7759-0_15 ◽

2013 ◽

pp. 335-355 ◽

Author(s):

John Horty

Keyword(s):

Download Full-text

Reasoning About Permission and Obligation

David Makinson on Classical Methods for Non-Classical Problems - Outstanding Contributions to Logic ◽

10.1007/978-94-007-7759-0_14 ◽

2013 ◽

pp. 287-333 ◽

Author(s):

Jörg Hansen

Download Full-text

Non-Monotonic Logic: Preferential Versus Algebraic Semantics

David Makinson on Classical Methods for Non-Classical Problems - Outstanding Contributions to Logic ◽

10.1007/978-94-007-7759-0_10 ◽

2013 ◽

pp. 167-193

Author(s):

Karl Schlechta

Keyword(s):

Algebraic Semantics

Download Full-text

Towards a Bayesian Theory of Second-Order Uncertainty: Lessons from Non-Standard Logics

David Makinson on Classical Methods for Non-Classical Problems - Outstanding Contributions to Logic ◽

10.1007/978-94-007-7759-0_11 ◽

2013 ◽

pp. 195-221 ◽

Author(s):

Hykel Hosni

Keyword(s):

Second Order ◽

Bayesian Theory

Download Full-text

A Panorama of Iterated Revision

David Makinson on Classical Methods for Non-Classical Problems - Outstanding Contributions to Logic ◽

10.1007/978-94-007-7759-0_5 ◽

2013 ◽

pp. 71-94 ◽

Author(s):

Pavlos Peppas

Keyword(s):

Iterated Revision

Download Full-text

Abstract Interfaces of Input/Output Logic

David Makinson on Classical Methods for Non-Classical Problems - Outstanding Contributions to Logic ◽

10.1007/978-94-007-7759-0_12 ◽

2013 ◽

pp. 225-262 ◽

Author(s):

Audun Stolpe

Keyword(s):

Download Full-text