A Proof-theoretic View of Necessity

We give a reading of binary necessity statements of the form “ϕ is necessary for ψ” in terms of proofs. This reading is based on the idea of interpreting such statements as “Every proof of ψ uses ϕ”.

[1]  André Fuhrmann,et al.  Theory contraction through base contraction , 1991, J. Philos. Log..

[2]  Saul A. Kripke,et al.  Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi , 1963 .

[3]  Yiannis N. Moschovakis,et al.  Sense and denotation as algorithm and value , 1993 .

[4]  J. Dekleer.  An assumption-based TMS , 1986 .

[5]  Reinhard Kahle,et al.  Structured belief bases , 2004 .

[6]  R. A. Bull,et al.  Basic Modal Logic , 1984 .

[7]  Peter Norvig,et al.  Artificial Intelligence: A Modern Approach , 1995 .

[8]  João Branquinho.  Sense and Meaning , 2005 .

[9]  Bernhard Nebel,et al.  Belief Revision: Syntax based approaches to belief revision , 1992 .

[10]  Ronald Fagin,et al.  Reasoning about knowledge , 1995 .

[11]  Sven Ove Hansson,et al.  Revision of Belief Sets and Belief Bases , 1998 .

[12]  Jon Doyle,et al.  A Truth Maintenance System , 1979, Artif. Intell..

[13]  José Júlio Alferes,et al.  Dynamic updates of non-monotonic knowledge bases , 2000, J. Log. Program..

[14]  Johan de Kleer,et al.  An Assumption-Based TMS , 1987, Artif. Intell..

[15]  G. Frege.  Über Sinn und Bedeutung , 1892 .

[16]  M. Black,et al.  Translations from the philosophical writings of Gottlob Frege , 1953 .

[17]  Thomas Forster.  The Modal Aether , 2005 .

[18]  B. Jack Copeland,et al.  The Genesis of Possible Worlds Semantics , 2002, J. Philos. Log..

[19]  Max J. Cresswell,et al.  A New Introduction to Modal Logic , 1998 .

[20]  Abhaya C. Nayak.  Foundational belief change , 1994, J. Philos. Log..

[21]  Roberta Facchinetti,et al.  Modality in Contemporary English , 2003 .

[22]  Brian F. Chellas.  Modal Logic: Normal systems of modal logic , 1980 .