[FOM] Combining classical and intuitionistic features in one logic

[Aarati Parmar]

Hi Alex,

One neat idea that might be relevant is the Fibring work done by Dov
Gabbay.  Enclosed are the bibtex entries if that helps.

Aarati


@article{Gabbay96,
  author =	 {Dov Gabbay},
  title =	 {Fibred semantics and the weaving of logics: Part
                  {I}: Modal and intuitionistic logics},
  journal =	 {Journal of Symbolic Logic},
  year =	 1996,
  volume =	 61,
  number =	 4,
  date =	 {December 1996},
  pages =	 {1057--1120},
}

@InProceedings{gabbay1992fibred,
  author =	 {Dov M. Gabbay},
  title =	 {Fibred Semantics and the Weaving of Logics. Part 2:
                  Fibring Non-monotonic logics},
  booktitle =    {Logic Colloquium '92},
  pages =	 {75--94},
  year =	 1992,
  editor =	 {L\'{a}szl\'{o} Csirmaz and Dov M. Gabbay and Maarten
                  de Rijke},
  publisher =	 {CSLI Publications},  
}

@InProceedings{gabbay1997structured,
  author =	 {Dov M. Gabbay and Rolf T. Nossum},
  title =	 {Structured Contexts with Fibred Semantics},
  booktitle =	 {Proceedings of the First International and
                  Interdisciplinary Conference on Modeling and Using
                  Context (CONTEXT-97)},
  pages =	 {46 -- 55},
  year =	 1997,
}