Abstract
The paper studies first order extensions of classical systems of modal logic (see (Chellas, 1980, part III)). We focus on the role of the Barcan formulas. It is shown that these formulas correspond to fundamental properties of neighborhood frames. The results have interesting applications in epistemic logic. In particular we suggest that the proposed models can be used in order to study monadic operators of probability (Kyburg, 1990) and likelihood (Halpern-Rabin, 1987).
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Aumann, R. J., ‘Notes on interactive epistemology’, version 94.06.16, unpublished manuscript.
Barcan Marcus, R., ‘A functional calculus of first order based on strict implication’, Journal of Symbolic Logic11, 1-16, 1946.
Barcan Marcus, R., ‘Modalities and intensional languages’, Synthese, 303-322, 1961. Reprinted in Modalities: Philosophical Essays, Oxford University Press, 1993.
Barwise, J., ‘Three views of common knowledge’, TARK II, 1988, 365-379.
Vicious Circles: On the Mathematics of Non-Wellfounded PhenomenaCSLI Publications, February 1996.
Carnap, R., Meaning and Necessity, University of Chicago Press, Chicago, 1947.
Chellas, B. F., Modal Logic: An Introduction, Cambridge University Press, Cambridge, 1980.
Cohen, L. J., The Probable and the Provable, Oxford: Clarendon Press, 1977.
Hughes, G. E., and M. J. Cresswell, A New Introduction to Modal Logic, Routledge, 1996.
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.
Fagin, R., J. Y. Halpern, Y. Moses and M. Y. Vardi, Reasoning about Knowledge, MIT Press, Cambridge, Massachusetts, 1995.
Fagin, R., and J. Y. Halpern, ‘Reasoning about Knowledge and Probability’, Journal of the ACM, 41:2, 340-367, 1994.
Fitting, M., and R. Mendelsohn, First-Order Modal Logic, Kluwer Academic Publishers, 1999.
Gardenfors, P., ‘Qualitative probability and intensional logic’, Journal of Philosophical Logic, 1975.
Gardenfors, P., and D. Makinson, ‘Nonmonotonic inference based on expectations’, Artificial Intelligence65, 1994.
Heifetz, A., and P. Mongin, ‘Probability logic for type spaces’, Documents de Travail THEMA-Université de Cergy-Pontoise, N 9825, April 1998.
Halpern, J. Y., and M. O. Rabin, ‘A logic to reason about likelihood’, Artificial Intelligence32, 379-405, 1987.
Halpern, J. Y., and D. A. McAllester, ‘Knowledge, likelihood and probability’, Computational Intelligence5, 151-160, 1989.
Hintikka, J., Knowledge and Belief: An introduction to the logic of the two notions, Cornell University Press, Ithaca and London, 1962.
Koslow, A., A Structuralist Theory of Logic, Cambridge University Press, Cambridge, 1992.
Kyburg, H. E. Jr., Probability and the Logic of Rational Belief, Wesleyan University Press, Middletown, 1961.
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.
Kyburg, H. E. Jr., ‘The rule of adjunction and reasonable inference’, Journal of Philosophy, March 1997.
Levi, I., The Enterprise of Knowledge, The MIT Press, Cambridge, Massachusetts, 1980.
Levi, I. For the Sake of the Argument: Ramsey test conditionals, Inductive Inference, and Nonmonotonic reasoning, Cambridge, England: Cambridge University Press, 1996.
Lenzen, W., ‘Recent work in epistemic logic’, Acta Philosophica Fennica30, 1-219, 1978.
Montague, R., ‘Universal grammar’, Theoria36, 373-398, 1970.
Parikh, R., ‘Propositional game logic’, 24th IEEE-FOCS, 195-200, 1983.
Pauli, M., ‘Modeling coalitional power in modal logic’, Proceedings of the Twelfth Amsterdam Colloquium, 1999
Savage, L. J., The foundations of Statistics, Dover, New York, 1972.
Scott, D., ‘Advice in modal logic’, in K. Lambert (ed.) Philosophical Problems in Logic, Dordrecht, Netherlands: Reidel, 143-173, 1970.
Shackle, G. L. S., ‘Expectations in economics’, Cambridge University Press, Cambridge, 1952.
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.
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.
von Wright, G. H., An Essay in Modal Logic, Amsterdam, North-Holland, 1951.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Costa, H.A. First Order Extensions of Classical Systems of Modal Logic; The role of the Barcan schemas . Studia Logica 71, 87–118 (2002). https://doi.org/10.1023/A:1016339125161
Issue Date:
DOI: https://doi.org/10.1023/A:1016339125161