First order extensions of classical systems of modal logic: The role of the Barcan schemas

Studia Logica

Volumn 71, Issue 1, 2002, Pages 87-118

  Costa, Horacio Arló ^a  

^a CARNEGIE MELLON UNIVERSITY   (United States)

Author keywords

Barcan formulas; Epistemic logic; First order modal logic; Logic of likelihoood

Indexed keywords

EID: 26944494010     PISSN: 00393215     EISSN: 15728730     Source Type: Journal    
DOI: 10.1023/A:1016339125161     Document Type: Article

References (36)

1. Aumann, R. J., 'Notes on interactive epistemology', version 94.06.16, unpublished manuscript.
2. Barcan Marcus, R., 'A functional calculus of first order based on strict implication', Journal of Symbolic Logic 11, 1-16, 1946.
3. Barcan Marcus, R., 'Modalities and intensional languages', Synthese, 303-322, 1961.
4. Reprinted in Modalities: Philosophical Essays, Oxford University Press, 1993.
5. Barwise, J., 'Three views of common knowledge', TARK II, 1988, 365-379.
6. Vicious Circles: On the Mathematics of Non-Wellfounded Phenomena CSLI Publications, February 1996.
7. Carnap, R., Meaning and Necessity, University of Chicago Press, Chicago, 1947.
8. Chellas, B. F., Modal Logic: An Introduction, Cambridge University Press, Cambridge, 1980.
9. Cohen, L. J., The Probable and the Provable, Oxford: Clarendon Press, 1977.
10. Hughes, G. E., and M. J. Cresswell, A New Introduction to Modal Logic, Routledge, 1996.
11. Dubois, D., and H. Prade, 'Belief change and possibility theory', in Belief Change, P. Gardenfors (ed.), Cambridge Tracts in Theoretical Computer Science 29, Cambridge University Press, 1992, 142-183.
12. Fagin, R., J. Y. Halpern, Y. Moses and M. Y. Vardi, Reasoning about Knowledge, MIT Press, Cambridge, Massachusetts, 1995.
13. Fagin, R., and J. Y. Halpern, 'Reasoning about Knowledge and Probability', Journal of the ACM, 41:2, 340-367, 1994.
14. Fitting, M., and R. Mendelsohn, First-Order Modal Logic, Kluwer Academic Publishers, 1999.
15. Gardenfors, P., 'Qualitative probability and intensional logic', Journal of Philosophical Logic, 1975.
16. Gardenfors, P., and D. Makinson, 'Nonmonotonic inference based on expectations', Artificial Intelligence 65, 1994.
17. Heifetz, A., and P. Mongin, 'Probability logic for type spaces', Documents de Travail THEMA-Université de Cergy-Pontoise, N 9825, April 1998.
18. Halpern, J. Y., and M. O. Rabin, 'A logic to reason about likelihood', Artificial Intelligence 32, 379-405, 1987.
19. Halpern, J. Y., and D. A. McAllester, 'Knowledge, likelihood and probability', Computational Intelligence 5, 151-160, 1989.
20. Hintikka, J., Knowledge and Belief: An introduction to the logic of the two notions, Cornell University Press, Ithaca and London, 1962.
21. Koslow, A., A Structuralist Theory of Logic, Cambridge University Press, Cambridge, 1992.
22. Kyburg, H. E. Jr., Probability and the Logic of Rational Belief, Wesleyan University Press, Middletown, 1961.
23. Kyburg, H. E. Jr., 'Probabilistic inference and non-monotonic inference', Uncertainty in Artificial Intelligence, R. D. Schachter, T. S. Evitt, L. N. Kanal J. F. Lemmer (eds.), Elsevier Science (North Holland), 1990.
24. Kyburg, H. E. Jr., 'The rule of adjunction and reasonable inference', Journal of Philosophy, March 1997.
25. Levi, I., The Enterprise of Knowledge, The MIT Press, Cambridge, Massachusetts, 1980.
26. Levi, I. For the Sake of the Argument: Ramsey test conditionals, Inductive Inference, and Nonmonotonic reasoning, Cambridge, England: Cambridge University Press, 1996.
27. Lenzen, W., 'Recent work in epistemic logic', Acta Philosophica Fennica 30, 1-219, 1978.
28. Montague, R., 'Universal grammar', Theoria 36, 373-398, 1970.
29. Parikh, R., 'Propositional game logic', 24th IEEE-FOCS, 195-200, 1983.
30. Pauli, M., 'Modeling coalitional power in modal logic', Proceedings of the Twelfth Amsterdam Colloquium, 1999
31. Savage, L. J., The foundations of Statistics, Dover, New York, 1972.
32. Scott, D., 'Advice in modal logic', in K. Lambert (ed.) Philosophical Problems in Logic, Dordrecht, Netherlands: Reidel, 143-173, 1970.
33. Shackle, G. L. S., 'Expectations in economies', Cambridge University Press, Cambridge, 1952.
34. Spohn, W., 'A general non-probabilistic theory of inductive inference', in Causation in Decision, Belief Change and Statistics, edited by W. Harper and B. Skyrms, Dordrecht, Netherlands: Reidel, 105-134, 1988.
35. van Benthem, J., 'Correspondence theory', chapter II.4 of the Handbook of Philosophical Logic, vol II, D. Gabbay, F. Guenthner (eds.), Kluwer Academic Publishers, 1984.
36. von Wright, G. H., An Essay in Modal Logic, Amsterdam, North-Holland, 1951.