Part of the Lecture Notes in Computer Science book series (LNCS, volume 1085)
Talkin'bout consistency, or: When logically possible becomes possible
KeywordsNormal Form Modal Logic Classical Logic Modal Depth Conjunctive Normal Form
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Unable to display preview. Download preview PDF.
- R. A. Bull (1966), MIPC as the formalisation of an intuitionist concept of modality. JSL 31, 4, pp 609–616.Google Scholar
- L. Fariñas del Cerro and A. Herzig (1994), A conditional logic for updating in the Possible Models Approach. Proc. German Conf. on AI (KI-94), eds. B. Nebel and L. Dreschler-Fischer, Springer Verlag, LNAI 861, pp 237–247.Google Scholar
- L. Fariñas del Cerro and A. Raggio (1983), Some results in intuitionistic modal logic. Logique et Analyse 102, pp 219–224.Google Scholar
- G. Hughes, M. J. Cresswell (1968), An introduction to modal logic. Methuen & Co. Ltd.Google Scholar
- H. Katsuno and A. O. Mendelzon (1991), On the differenece between updation a knowledge base and revising it. Proc. Int. Conf. on Principles of Knowledge Representation and Reasoning (KR-91), Morgan Kaufmann.Google Scholar
- V. W. Marek, M. Truszczynski (1991), Nonmonotonic logic. Springer Verlag.Google Scholar
- M. Winslett (1988), Reasoning about actions. Proc. Seventh Nat. Conf. on AI (AAAI-88), Minneapolis, pp 89–93.Google Scholar
- M. Winslett (1994), Updating logical databases. In: Handbook of Logic in Artificial Intelligence (eds. D. Gabbay, A. Galton, C. Hogger), Vol. 3, Oxford University Press, 1994.Google Scholar
© Springer-Verlag Berlin Heidelberg 1996