Theoretical Circumscription in Partial Modal Logic

[1]  D. Gabbay.  Semantical investigations in Heyting's intuitionistic logic , 1981 .

[2]  J. Benthem.  Partiality and Nonmonotonicity in Classical Logic in Dynamics of Meaning and Modality. , 1986 .

[3]  Martin D. Davis,et al.  The Mathematics of Non-Monotonic Reasoning , 1980, Artif. Intell..

[4]  Jaakko Hintikka,et al.  Knowledge and Belief: An Introduction to the Logic of the Two Notions. , 1965 .

[5]  Ronald Fagin,et al.  An internal semantics for modal logic , 1985, STOC '85.

[6]  K. Jon Barwise,et al.  The situation in logic , 1989, CSLI lecture notes series.

[7]  Ronald Fagin,et al.  An Internal Semantics for Modal Logic: Preliminary Report , 1985, STOC 1985.

[8]  Robert C. Moore.  Semantical Considerations on Nonmonotonic Logic , 1985, IJCAI.

[9]  J.F.A.K. van Benthem,et al.  Modal logic and classical logic , 1983 .

[10]  John McCarthy,et al.  Circumscription - A Form of Non-Monotonic Reasoning , 1980, Artif. Intell..

[11]  Ronald Fagin,et al.  Belief, Awareness, and Limited Reasoning. , 1987, Artif. Intell..

[12]  Wolfgang Lenzen,et al.  Recent work in epistemic logic , 1978 .

[13]  H. C. Bunt,et al.  Modular incremental modelling of belief and intention , 1990 .

[14]  J.F.A.K. van Benthem,et al.  A manual of intensional logic , 1989 .

[15]  Paul Creelman,et al.  Book review: Partiality, Truth and Persistence by Tore Langholm (Lecture Notes 15 Ctr. for the Study of Lang. and Information. University of Chicago Press) , 1989, SGAR.

[16]  Joseph Y. Halpern,et al.  Towards a Theory of Knowledge and Ignorance: Preliminary Report , 1989, NMR.

[17]  F.J.M.M. Veltman,et al.  Logics for conditionals. , 1985 .

[18]  Hector J. Levesque,et al.  All I Know: An Abridged Report , 1987, AAAI.

[19]  Richmond H. Thomason,et al.  A semantical study of constructible falsity , 1969 .

[20]  Max J. Cresswell,et al.  A companion to modal logic , 1984 .

[21]  Lloyd Humberstone,et al.  From worlds to possibilities , 1981, J. Philos. Log..

[22]  Joseph Y. Halpern.  Reasoning About Knowledge: An Overview , 1986, TARK.

[23]  N. Cocchiarella,et al.  Situations and Attitudes. , 1986 .

[24]  S. Vickers.  Topology via Logic , 1989 .