{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,2]],"date-time":"2026-07-02T03:08:32Z","timestamp":1782961712240,"version":"3.54.5"},"reference-count":52,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2006,11,9]],"date-time":"2006-11-09T00:00:00Z","timestamp":1163030400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2006,11,20]]},"DOI":"10.1007\/s11225-006-9010-0","type":"journal-article","created":{"date-parts":[[2006,11,8]],"date-time":"2006-11-08T08:52:48Z","timestamp":1162975968000},"page":"171-210","source":"Crossref","is-referenced-by-count":22,"title":["First-Order Classical Modal Logic"],"prefix":"10.1007","volume":"84","author":[{"given":"Horacio","family":"Arl\u00f3-Costa","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Eric","family":"Pacuit","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2006,11,9]]},"reference":[{"key":"9010_CR1","doi-asserted-by":"crossref","unstructured":"Alur, R., T. A. Henzinger, and O. Kupferman, \u2018Alternating-time temporal logic\u2019, in Compositionality: The Significant Difference, LNCS 1536, Springer, 1998, pp. 23-60.","DOI":"10.1007\/3-540-49213-5_2"},{"key":"9010_CR2","unstructured":"Arl\u00f3 Costa, H., \u2018Qualitative and Probabilistic Models of Full Belief\u2019, Proceedings of Logic Colloquim'98, Lecture Notes on Logic 13, S. Buss, P. Hajek, P. Pudlak (eds.), ASL, A. K. Peters, 1999."},{"key":"9010_CR3","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1023\/A:1016339125161","volume":"71","author":"H. Arl\u00f3 Costa","year":"2002","unstructured":"Arl\u00f3 Costa, H., \u2018First order extensions of classical systems of modal logic\u2019, Studia Logica 71:87\u2013118, 2002.","journal-title":"Studia Logica"},{"issue":"5-6","key":"9010_CR4","doi-asserted-by":"crossref","first-page":"581","DOI":"10.1007\/s10992-004-8539-5","volume":"34","author":"H. Arl\u00f3 Costa","year":"2005","unstructured":"Arl\u00f3 Costa, H., \u2018Non-Adjunctive Inference and Classical Modalities\u2019, Journal of Philosophical Logic 34 (5-6):581\u2013605, 2005.","journal-title":"Journal of Philosophical Logic"},{"key":"9010_CR5","doi-asserted-by":"crossref","unstructured":"Arl\u00f3 Costa, H., and E. Pacuit, \u2018Free Quantified (Classical) Modal Logic: Varying Domains\u2019, typescript CMU and ILLC-Amsterdam, 2006.","DOI":"10.1007\/s11225-006-9010-0"},{"issue":"1","key":"9010_CR6","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1007\/s10992-004-5553-6","volume":"34","author":"H. Arl\u00f3 Costa","year":"2005","unstructured":"Arl\u00f3 Costa, H., and R. Parikh, \u2018Conditional Probability and Defeasible Inference\u2019, Journal of Philosophical Logic 34 (1):97\u2013119, 2005.","journal-title":"Journal of Philosophical Logic"},{"key":"9010_CR7","doi-asserted-by":"crossref","unstructured":"Bacharach, M. O. L., L.-A. G\u00e9rard Varet, P. Mongin, and H.S. Shin (eds.), Epistemic Logic and the Theory of Games and Decisions, Theory and Decision Library, Vol. 20, Kluwer Academic Publishers, 1997.","DOI":"10.1007\/978-1-4613-1139-3"},{"key":"9010_CR8","first-page":"1","volume":"XI","author":"R. C. Barcan (Marcus)","year":"1946","unstructured":"Barcan (Marcus), R. C., \u2018A functional calculus of First Order based on strict implication\u2019, Journal of Symbolic Logic XI:1\u201316, 1946.","journal-title":"Journal of Symbolic Logic"},{"key":"9010_CR9","first-page":"12","volume":"XII","author":"R. C. Barcan (Marcus)","year":"1947","unstructured":"Barcan (Marcus), R. C., \u2018The identity of individuals in a strict functional calculus of First Order\u2019, Journal of Symbolic Logic XII:12\u201315, 1947.","journal-title":"Journal of Symbolic Logic"},{"key":"9010_CR10","unstructured":"Barcan Marcus, R. C., \u2018Modalities and intensional languages,\u2019 Synthese XIII, 4:303\u2013322, 1961. Reprinted in Modalities: Philosophical Essays, Oxford University Press, 1993, pp. 3\u201336."},{"key":"9010_CR11","doi-asserted-by":"crossref","unstructured":"Barcan Marcus, R. C., \u2018Possibilia and Possible Worlds,\u2019 in Modalities: Philosophical Essays, Oxford University Press, 1993, pp. 189\u2013213.","DOI":"10.1093\/0195096576.003.0013"},{"key":"9010_CR12","unstructured":"Barwise, J., and L. Moss, Vicious Circles: On the Mathematics of Non-Wellfounded Phenomena, C S L I Publications, February 1996."},{"key":"9010_CR13","unstructured":"Battigalli, P., and G. Bonanno, \u2018Recentresults on belief, knowledge andthe epistemic foundations of game theory,\u2019 Proceedings of Interactive Epistemology in Dynamic Games of Incomplete Information, Venice, 1998."},{"key":"9010_CR14","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1111\/j.1755-2567.1978.tb00830.x","volume":"44","author":"J.F.A.K. Benthem van","year":"1978","unstructured":"Benthem, J.F.A.K., van, \u2018Two simple incomplete logics,\u2019 Theoria 44:25\u201337, 1978.","journal-title":"Theoria"},{"key":"9010_CR15","doi-asserted-by":"crossref","unstructured":"Blackburn, P., M. de Rijke, and Y. Venema, Modal Logic, Cambridge Tracts in Theoretical Computer Science, 58, Cambridge University Press, 2001.","DOI":"10.1017\/CBO9781107050884"},{"key":"9010_CR16","unstructured":"Carnap, R., Meaning and Necessity; A study of semantics and modal logic, Second edition, Midway Reprint, Chicago, 1988."},{"key":"9010_CR17","doi-asserted-by":"crossref","unstructured":"Chellas, B. Modal logic an introduction, Cambridge University Press, 1980.","DOI":"10.1017\/CBO9780511621192"},{"issue":"4","key":"9010_CR18","doi-asserted-by":"crossref","first-page":"1483","DOI":"10.2178\/jsl\/1190150295","volume":"67","author":"G. Corsi","year":"2002","unstructured":"Corsi, G., \u2018A Unified Completeness Theorem for Quantified Modal Logics\u2019, J. Symb. Log. 67(4):1483\u20131510, 2002.","journal-title":"J. Symb. Log."},{"key":"9010_CR19","first-page":"271","volume":"135\u20136","author":"M. J. Cresswell","year":"1991","unstructured":"Cresswell, M. J., \u2018In Defense of the Barcan Formula\u2019, Logique et Analyse 135\u20136:271\u2013282, 1991.","journal-title":"Logique et Analyse"},{"key":"9010_CR20","volume-title":"Theory of Probability, Vol I","author":"B. Finetti De","year":"1990","unstructured":"De Finetti, B., Theory of Probability, Vol I, Wiley Classics Library, John Wiley and Sons, New York, 1990."},{"key":"9010_CR21","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1214\/aop\/1176996451","volume":"3","author":"L.E. Dubins","year":"1975","unstructured":"Dubins, L.E., \u2018Finitely additive conditional probabilities, conglomerability, and disintegrations,\u2019 Ann. Prob. 3:89\u201399, 1975.","journal-title":"Ann. Prob."},{"key":"9010_CR22","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5803.001.0001","volume-title":"Reasoning about knowledge","author":"R. Fagin","year":"1995","unstructured":"Fagin, R., J. Y. Halpern, Y. Moses, and M. Y. Vardi, Reasoning about knowledge, MIT Press, Cambridge, Massachusetts, 1995."},{"key":"9010_CR23","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-011-5292-1","volume-title":"First Order Modal Logic","author":"M. Fitting","year":"1998","unstructured":"Fitting, M., and R. Mendelsohn, First Order Modal Logic, Kluwer, Dordrecht, 1998."},{"key":"9010_CR24","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-010-1453-3","volume-title":"Investigations in Modal and Tense Logics with Applications to Problems in Philosophy and Linguistics","author":"D. Gabbay","year":"1976","unstructured":"Gabbay, D., Investigations in Modal and Tense Logics with Applications to Problems in Philosophy and Linguistics, Dordrecht, Reidel, 1976."},{"issue":"3","key":"9010_CR25","doi-asserted-by":"crossref","first-page":"495","DOI":"10.2307\/2273587","volume":"47","author":"H. Gaifman","year":"1982","unstructured":"Gaifman, H., and M. Snir, \u2018Probabilities Over Rich Languages, Testing and Randomness\u2019, J. Symb. Log. 47 (3): 495\u2013548, 1982.","journal-title":"J. Symb. Log."},{"issue":"5\u20136","key":"9010_CR26","doi-asserted-by":"crossref","first-page":"621","DOI":"10.1007\/s10992-005-3664-3","volume":"34","author":"J. Garson","year":"2005","unstructured":"Garson, J., \u2018Unifying quantified modal logic\u2019, Journal of Philosophical Logic 34 (5\u20136):621\u2013649, 2005.","journal-title":"Journal of Philosophical Logic"},{"issue":"2","key":"9010_CR27","doi-asserted-by":"crossref","first-page":"141","DOI":"10.2307\/2271893","volume":"40","author":"M. Gerson","year":"1975","unstructured":"Gerson, M., \u2018The inadequacy of neighborhood semantics for modal logic\u2019, Journal of Symbolic Logic 40 (2):141\u20138, 1975.","journal-title":"Journal of Symbolic Logic"},{"key":"9010_CR28","first-page":"249","volume-title":"Handbook of Philosophical Logic","author":"J. Garson","year":"2002","unstructured":"Garson, J., \u2018Quantification in modal logic\u2019, Handbook of Philosophical Logic, D. Gab-bay and F. Guenthner (eds.), vol II, Kluwer Academic Publishers, Dordrecht, 2nd edition, 2002, pp. 249\u2013307.","edition":"2nd edition"},{"issue":"2","key":"9010_CR29","doi-asserted-by":"crossref","first-page":"517","DOI":"10.2307\/2274697","volume":"56","author":"S. Ghilardi","year":"1991","unstructured":"Ghilardi, S., \u2018Incompleteness results in Kripke semantics\u2019, Journal of Symbolic Logic 56 (2):517\u2013538, 1991.","journal-title":"Journal of Symbolic Logic"},{"key":"9010_CR30","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1023\/A:1014422615720","volume":"34","author":"A. Gilio","year":"2002","unstructured":"Gilio, A., \u2018Probabilistic reasoning under coherence in System P\u2019, Annals of Mathematics and Artificial Intelligence 34:5\u201334, 2002.","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"9010_CR31","unstructured":"Goldblatt, R., and E. Mares, \u2018A General Semantics for Quantified Modal Logic\u2019, Advances in Modal Logic, Volume 6, King's College Publisher, 2006."},{"key":"9010_CR32","unstructured":"Halpern, J., \u2018Intransitivity and vagueness,\u2019 Ninth International Conference on Principles of Knowledge Representation and Reasoning (KR 2004), 121\u2013129, 2004."},{"key":"9010_CR33","unstructured":"Hansen, H. H., Monotonic modal logics, Master's thesis, ILLC, 2003."},{"key":"9010_CR34","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1287\/mnsc.14.3.159","volume":"14","author":"J. Harsanyi","year":"1967\u201368","unstructured":"Harsanyi, J., \u2018Games of incomplete information played by Bayesian players, Parts I, II, III\u2019, Management Science 14:159\u2013182, 320\u2013334, 486\u2013502, 1967\u201368.","journal-title":"Management Science"},{"key":"9010_CR35","unstructured":"Hughes, G. E., and M. J. Cresswell, A new introduction to modal logic, Routledge, 2001."},{"key":"9010_CR36","doi-asserted-by":"crossref","unstructured":"Kyburg, H. E., Jr., \u2018Probabilistic inference and non-monotonic inference,\u2019 in R. D. Schachter, T. S. Evitt, L. N. Kanal, and J. F. Lemmer (eds.), Uncertaintyin Artificial Intelligence, Elsevier Science (North Holland), 1990.","DOI":"10.21236\/ADA250603"},{"key":"9010_CR37","doi-asserted-by":"crossref","unstructured":"Kyburg, H. E., Jr., and C. M. Teng, \u2018The Logic of Risky Knowledge\u2019, Proceedings of WoLLIC, Brazil, 2002.","DOI":"10.1016\/S1571-0661(04)80552-8"},{"key":"9010_CR38","doi-asserted-by":"crossref","first-page":"99","DOI":"10.2307\/2586754","volume":"64","author":"M. Kracht","year":"1999","unstructured":"Kracht, M., and F. Wolter, \u2018Normal Monomodal Logics can simulate all others\u2019, Journal of Symbolic Logic 64:99\u2013138, 1999.","journal-title":"Journal of Symbolic Logic"},{"key":"9010_CR39","doi-asserted-by":"crossref","first-page":"639","DOI":"10.1515\/9783110126969.7.639","volume-title":"Semantik. Ein internationales Handbuch der zeitgenossischen Forschung","author":"A. Kratzer","year":"1991","unstructured":"Kratzer, A. \u2018Modality\u2019, in A. von Stechow and D. Wunderlich (eds.), Semantik. Ein internationales Handbuch der zeitgenossischen Forschung, Walter de Gruyter, Berlin, 1991, pp. 639-650."},{"key":"9010_CR40","first-page":"83","volume":"16","author":"S. Kripke","year":"1963","unstructured":"Kripke, S., \u2018Semantical considerations on modal logics\u2019, Acta Philosophica Fennica 16:83\u201394, 1963.","journal-title":"Acta Philosophica Fennica"},{"key":"9010_CR41","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0004-3702(92)90041-U","volume":"55","author":"D. Lehmann","year":"1992","unstructured":"Lehmann, D., and M. Magidor, \u2018What does a conditional base entails?\u2019, Artificial Intelligence 55:1\u201360, 1992.","journal-title":"Artificial Intelligence"},{"key":"9010_CR42","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511720161","volume-title":"For the sake of the argument: Ramsey test conditionals, Inductive Inference, and Nonmonotonic reasoning","author":"I. Levi","year":"1996","unstructured":"Levi, I., For the sake of the argument: Ramsey test conditionals, Inductive Inference, and Nonmonotonic reasoning, Cambridge University Press, Cambridge, 1996."},{"key":"9010_CR43","doi-asserted-by":"crossref","first-page":"431","DOI":"10.2307\/2214181","volume":"8","author":"B. Linsky","year":"1994","unstructured":"Linsky, B., and E. Zalta, \u2018In Defense of the Simplest Quantified Modal Logic\u2019, Philosophical Perspectives, 8 (Logic and Language), 431\u2013458, 1994.","journal-title":"Philosophical Perspectives"},{"key":"9010_CR44","doi-asserted-by":"crossref","first-page":"373","DOI":"10.1111\/j.1755-2567.1970.tb00434.x","volume":"36","author":"R. Montague","year":"1970","unstructured":"Montague, R., \u2018Universal Grammar\u2019, Theoria 36:373\u201398, 1970.","journal-title":"Theoria"},{"key":"9010_CR45","doi-asserted-by":"crossref","unstructured":"Parikh, R., \u2018The logic of games and its applications\u2019, in M. Karpinski and J. van Leeuwen (eds.), Topics in the Theory of Computation, Annals of Discrete Mathematics, 24, Elsevier, 1985.","DOI":"10.1016\/S0304-0208(08)73078-0"},{"issue":"1","key":"9010_CR46","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1093\/logcom\/12.1.149","volume":"12","author":"M. Pauly","year":"2002","unstructured":"Pauly, M., \u2018A modal logic for coalitional power in games\u2019, Journal of Logic and Computation 12 (1):149\u2013166, 2002.","journal-title":"Journal of Logic and Computation"},{"key":"9010_CR47","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1007\/978-94-010-3272-8_7","volume-title":"Philosophical Problems in Logic","author":"D. Scott","year":"1970","unstructured":"Scott, D., \u2018Advice in modal logic\u2019, in K. Lambert (ed.), Philosophical Problems in Logic, Dordrecht, Netherlands: Reidel, 1970, pp. 143\u201373."},{"key":"9010_CR48","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1016\/S0049-237X(08)71672-0","volume-title":"Aspects of Inductive Logic","author":"D. Scott","year":"1966","unstructured":"Scott, D., and P. Krauss, \u2018Assigning probability to logical formulas,\u2019 in Hintikka and Suppes (eds.), Aspects of Inductive Logic, North-Holland, Amsterdam, 1966, pp. 219\u2013264."},{"key":"9010_CR49","unstructured":"Segerberg, K., An Essay in Classical Modal Logic, Number 13 in Filosofisska Studier. Uppsala Universitet, 1971."},{"key":"9010_CR50","doi-asserted-by":"crossref","first-page":"349","DOI":"10.1007\/BF01048352","volume":"XXIV","author":"B. C. Fraassen van","year":"1995","unstructured":"van Fraassen, B. C., \u2018Fine-grained opinion, probability, and the logic of full belief\u2019, Journal of Philosophical Logic, XXIV:349\u201377, 1995.","journal-title":"Journal of Philosophical Logic"},{"key":"9010_CR51","volume-title":"Theoretical Aspects of Reasoning about Knowledge","author":"M. Vardi","year":"1986","unstructured":"Vardi M., \u2018On Epistemic Logic and Logical Omniscience,\u2019 in Y. Halpern (ed.), Theoretical Aspects of Reasoning about Knowledge. Proceedings of the 1986 Conference, Morgan Kaufmann, Los Altos, 1986."},{"key":"9010_CR52","doi-asserted-by":"crossref","first-page":"257","DOI":"10.1023\/A:1005331819843","volume":"48","author":"T. Williamson","year":"1998","unstructured":"Williamson, T., \u2018Bare Possibilia,\u2019 Erkenntnis 48:257\u2013273, 1998.","journal-title":"Erkenntnis"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-006-9010-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-006-9010-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-006-9010-0","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,11]],"date-time":"2025-01-11T22:23:27Z","timestamp":1736634207000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-006-9010-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,11,9]]},"references-count":52,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2006,11,20]]}},"alternative-id":["9010"],"URL":"https:\/\/doi.org\/10.1007\/s11225-006-9010-0","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,11,9]]}}}