{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,13]],"date-time":"2026-04-13T11:44:35Z","timestamp":1776080675901,"version":"3.50.1"},"reference-count":46,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2003,4,1]],"date-time":"2003-04-01T00:00:00Z","timestamp":1049155200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2003,4,1]],"date-time":"2003-04-01T00:00:00Z","timestamp":1049155200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Philosophical Logic"],"published-print":{"date-parts":[[2003,4]]},"DOI":"10.1023\/a:1023080715357","type":"journal-article","created":{"date-parts":[[2003,4,7]],"date-time":"2003-04-07T18:17:24Z","timestamp":1049739444000},"page":"179-223","source":"Crossref","is-referenced-by-count":34,"title":["Possible-Worlds Semantics for Modal Notions Conceived as Predicates"],"prefix":"10.1007","volume":"32","author":[{"given":"Volker","family":"Halbach","sequence":"first","affiliation":[]},{"given":"Hannes","family":"Leitgeb","sequence":"additional","affiliation":[]},{"given":"Philip","family":"Welch","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"5114742_CR1","doi-asserted-by":"crossref","unstructured":"Aczel, P. and Richter, W.: Inductive definitions and reflecting properties of admissible ordinals, in J. E. Fenstad and P. Hinman (eds), Generalized Recursion Theory, North-Holland, 1973, pp. 301\u2013381.","DOI":"10.1016\/S0049-237X(08)70592-5"},{"key":"5114742_CR2","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1007\/978-94-009-2721-6_5","volume-title":"Properties, Types and Meaning","author":"N. Asher","year":"1989","unstructured":"Asher, N. and Kamp, H.: Self-reference, attitudes, and paradox, in G. Chierchia, B. H. Partee and R. Turner (eds), Properties, Types and Meaning, Vol. 1, Kluwer, Dordrecht, 1989, pp. 85\u2013158."},{"key":"5114742_CR3","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-11035-5","volume-title":"Admissible Sets and Structures","author":"J. Barwise","year":"1975","unstructured":"Barwise, J. Admissible Sets and Structures, Perspect. Math. Logic, Springer-Verlag, Berlin, 1975."},{"key":"5114742_CR4","doi-asserted-by":"crossref","DOI":"10.1093\/acprof:oso\/9780198244288.001.0001","volume-title":"Quality and Concept","author":"G. Bealer","year":"1982","unstructured":"Bealer, G.: Quality and Concept, Clarendon Press, Oxford, 1982."},{"key":"5114742_CR5","volume-title":"The Revision Theory of Truth","author":"N. Belnap","year":"1993","unstructured":"Belnap, N. and Gupta, A.: The Revision Theory of Truth, MIT Press, Cambridge, 1993."},{"key":"5114742_CR6","volume-title":"The Logic of Provability","author":"G. Boolos","year":"1993","unstructured":"Boolos, G.: The Logic of Provability, Cambridge University Press, Cambridge, 1993."},{"key":"5114742_CR7","doi-asserted-by":"crossref","first-page":"663","DOI":"10.2307\/2274021","volume":"51","author":"J. P. Burgess","year":"1986","unstructured":"Burgess, J. P.: The truth is never simple, J. Symbolic Logic\n51 (1986), 663\u2013681.","journal-title":"J. Symbolic Logic"},{"key":"5114742_CR8","doi-asserted-by":"crossref","first-page":"390","DOI":"10.2307\/2274511","volume":"53","author":"J. P. Burgess","year":"1988","unstructured":"Burgess, J. P.: Addendum to 'The truth is never simple', J. Symbolic Logic\n53 (1988), 390\u2013392.","journal-title":"J. Symbolic Logic"},{"key":"5114742_CR9","series-title":"Stud. Logic Found. Math.","volume-title":"Logical Frameworks for Truth and Abstraction. An Axiomatic Study","author":"A. Cantini","year":"1996","unstructured":"Cantini, A.: Logical Frameworks for Truth and Abstraction. An Axiomatic Study, Stud. Logic Found. Math. 135, Elsevier, Amsterdam, 1996."},{"key":"5114742_CR10","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198537793.001.0001","volume-title":"Modal Logic","author":"A. Chagrov","year":"1997","unstructured":"Chagrov, A. and Zakharyaschev, M.: Modal Logic, Oxford Logic Guides, Oxford University Press, Oxford, 1997."},{"key":"5114742_CR11","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1023\/A:1015273407895","volume":"31","author":"J. Copeland","year":"2002","unstructured":"Copeland, J.: The genesis of possible worlds semantics, J. Philos. Logic\n31 (2002), 99\u2013137.","journal-title":"J. Philos. Logic"},{"key":"5114742_CR12","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2307\/2274902","volume":"56","author":"S. Feferman","year":"1991","unstructured":"Feferman, S.: Reflecting on incompleteness, J. Symbolic Logic\n56 (1991), 1\u201349.","journal-title":"J. Symbolic Logic"},{"key":"5114742_CR13","doi-asserted-by":"crossref","first-page":"383","DOI":"10.2307\/2964544","volume":"bd27","author":"S. Feferman","year":"1962","unstructured":"Feferman, S. and Spector, C.: Incompleteness along paths in progressions of theories, J. Symbolic Logic bd27 (1962), 383\u2013390.","journal-title":"J. Symbolic Logic"},{"key":"5114742_CR14","doi-asserted-by":"crossref","first-page":"405","DOI":"10.2307\/2185788","volume":"103","author":"H. Field","year":"1994","unstructured":"Field, H.: Disquotational truth and factually defective discourse, Philos. Review\n103 (1994), 405\u2013452.","journal-title":"Philos. Review"},{"key":"5114742_CR15","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0168-0072(87)90073-X","volume":"33","author":"H. Friedman","year":"1987","unstructured":"Friedman, H. and Sheard, M.: An axiomatic approach to self-referential truth, Ann. Pure Appl. Logic\n33 (1987), 1\u201321.","journal-title":"Ann. Pure Appl. Logic"},{"key":"5114742_CR16","doi-asserted-by":"crossref","first-page":"22","DOI":"10.1007\/BF01967648","volume":"13","author":"G. Germano","year":"1970","unstructured":"Germano, G.: Metamathematische Begriffe in Standardtheorien, Arch. Math. Logik\n13 (1970), 22\u201338.","journal-title":"Arch. Math. Logik"},{"key":"5114742_CR17","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1007\/BF01209340","volume":"27","author":"D. Grover","year":"1975","unstructured":"Grover, D., Camp, J. and Belnap, N.: A prosentential theory of truth, Philos. Stud.\n27 (1975), 73\u2013125.","journal-title":"Philos. Stud."},{"key":"5114742_CR18","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF00302338","volume":"11","author":"A. Gupta","year":"1982","unstructured":"Gupta, A.: Truth and paradox, J. Philos. Logic\n11 (1982), 1\u201360.","journal-title":"J. Philos. Logic"},{"key":"5114742_CR19","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1305\/ndjfl\/1040511340","volume":"35","author":"V. Halbach","year":"1994","unstructured":"Halbach, V.: A system of complete and consistent truth, Notre Dame J. Formal Logic\n35 (1994), 311\u2013327.","journal-title":"Notre Dame J. Formal Logic"},{"key":"5114742_CR20","unstructured":"Halbach, V., Leitgeb, H. and Welch, P.: Possible worlds semantics for predicates, in R. Kahle (ed.), Intensionality, Association for Symbolic Logic, Los Angeles (in press)."},{"key":"5114742_CR21","doi-asserted-by":"crossref","first-page":"526","DOI":"10.1090\/S0002-9947-1968-0244049-7","volume":"131","author":"J. Harrison","year":"1968","unstructured":"Harrison, J.: Recursive pseudo-well-orderings, Trans. Amer. Math. Soc.\n131 (1968), 526\u2013543.","journal-title":"Trans. Amer. Math. Soc."},{"key":"5114742_CR22","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1007\/BF00302339","volume":"11","author":"H. G. Herzberger","year":"1982","unstructured":"Herzberger, H. G.: Notes on naive semantics, J. Philos. Logic\n11 (1982), 61\u2013102.","journal-title":"J. Philos. Logic"},{"key":"5114742_CR23","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-12898-5","volume-title":"Recursion Theoretic Hierarchies","author":"P. Hinman","year":"1978","unstructured":"Hinman, P.: Recursion Theoretic Hierarchies, Springer, Berlin, 1978."},{"key":"5114742_CR24","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0003-4843(76)90023-1","volume":"10","author":"C. Jockusch","year":"1975","unstructured":"Jockusch, C. and Simpson, S.: A degree theoretic definition of the ramified analytical hierarchy, Ann. Math. Logic\n10 (1975), 1\u201332.","journal-title":"Ann. Math. Logic"},{"key":"5114742_CR25","doi-asserted-by":"crossref","unstructured":"Kaye, R.: Models of Peano Arithmetic, Oxford Logic Guides, Oxford University Press, 1991.","DOI":"10.1093\/oso\/9780198532132.001.0001"},{"key":"5114742_CR26","doi-asserted-by":"crossref","first-page":"283","DOI":"10.4153\/CMB-1981-045-3","volume":"24","author":"H. Kotlarski","year":"1981","unstructured":"Kotlarski, H., Krajewski, S. and Lachlan, A.: Construction of satisfaction classes for nonstandard models, Canad. Math. Bull.\n24 (1981), 283\u2013293.","journal-title":"Canad. Math. Bull."},{"key":"5114742_CR27","doi-asserted-by":"crossref","first-page":"690","DOI":"10.2307\/2024634","volume":"72","author":"S. Kripke","year":"1975","unstructured":"Kripke, S.: Outline of a theory of truth, J. Philos.\n72 (1975), 690\u2013712.","journal-title":"J. Philos."},{"key":"5114742_CR28","first-page":"325","volume-title":"Truth and Meaning: Essays in Semantics","author":"S. Kripke","year":"1976","unstructured":"Kripke, S.: Is there a problem about substitutional quantification?, in G. Evans and J. McDowell (eds), Truth and Meaning: Essays in Semantics, Clarendon Press, Oxford, 1976, pp. 325\u2013419."},{"key":"5114742_CR29","doi-asserted-by":"crossref","first-page":"295","DOI":"10.4153\/CMB-1981-046-0","volume":"24","author":"A. Lachlan","year":"1981","unstructured":"Lachlan, A.: Full satisfaction classes and recursive saturation, Canad. Math. Bull.\n24 (1981), 295\u2013297.","journal-title":"Canad. Math. Bull."},{"key":"5114742_CR30","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1023\/A:1011950105814","volume":"21","author":"H. Leitgeb","year":"2001","unstructured":"Leitgeb, H.: Theories of truth which have no standard models, Studia Logica\n21 (2001), 69\u201387.","journal-title":"Studia Logica"},{"key":"5114742_CR31","doi-asserted-by":"crossref","first-page":"309","DOI":"10.1023\/A:1017982316171","volume":"30","author":"H. Leitgeb","year":"2001","unstructured":"Leitgeb, H.: Truth as translation - part B, J. Philos. Logic\n30 (2001), 309\u2013328.","journal-title":"J. Philos. Logic"},{"key":"5114742_CR32","doi-asserted-by":"crossref","first-page":"399","DOI":"10.1007\/BF00649483","volume":"14","author":"V. McGee","year":"1985","unstructured":"McGee, V.: How truthlike can a predicate be? A negative result, J. Philos. Logic\n14 (1985), 399\u2013410.","journal-title":"J. Philos. Logic"},{"key":"5114742_CR33","volume-title":"Truth, Vagueness, and Paradox: An Essay on the Logic of Truth","author":"V. McGee","year":"1991","unstructured":"McGee, V.: Truth, Vagueness, and Paradox: An Essay on the Logic of Truth, Hackett Publishing, Indianapolis and Cambridge, 1991."},{"key":"5114742_CR34","first-page":"153","volume":"16","author":"R. Montague","year":"1963","unstructured":"Montague, R.: Syntactical treatments of modality, with corollaries on reflexion principles and finite axiomatizability, Acta Philosophica Fennica\n16 (1963), 153\u2013167. Reprinted in [35, 286-302].","journal-title":"Acta Philosophica Fennica"},{"key":"5114742_CR35","volume-title":"Formal Philosophy: Selected Papers of Richard Montague","author":"R. Montague","year":"1974","unstructured":"Montague, R.: Formal Philosophy: Selected Papers of Richard Montague, Yale University Press, New Haven and London, 1974, Edited and with an introduction by Richmond H. Thomason."},{"key":"5114742_CR36","series-title":"Studies in Logic and the Foundations of Mathematics","volume-title":"Elementary Induction on Abstract Structures","author":"Y. N. Moschovakis","year":"1974","unstructured":"Moschovakis, Y. N.: Elementary Induction on Abstract Structures, Studies in Logic and the Foundations of Mathematics 77, North-Holland, Amsterdam, 1974."},{"key":"5114742_CR37","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-7091-8023-5","volume-title":"Analytische Erkenntnistheorie","author":"A. Pap","year":"1955","unstructured":"Pap, A.: Analytische Erkenntnistheorie, Springer, Wien, 1955."},{"key":"5114742_CR38","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1016\/0168-0072(94)90074-4","volume":"68","author":"M. Rathjen","year":"1994","unstructured":"Rathjen, M.: Proof theory of reflection, Ann. Pure Appl. Logic\n68 (1994), 181\u2013224.","journal-title":"Ann. Pure Appl. Logic"},{"key":"5114742_CR39","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1016\/B978-0-934613-04-0.50011-9","volume-title":"Theoretical Aspects of Reasoning about Knowledge: Proceedings of the 1986 Conference","author":"J. des Rivi\u00e8res","year":"1986","unstructured":"des Rivi\u00e8res, J. and Levesque, H. J.: The consistency of syntactical treatments of knowledge, in J. Y. Halpern (ed.), Theoretical Aspects of Reasoning about Knowledge: Proceedings of the 1986 Conference, Los Altos, Morgan Kaufmann, 1986, pp. 115\u2013130."},{"key":"5114742_CR40","volume-title":"Theory of Recursive Functions and Effective Computability","author":"H. Rogers","year":"1967","unstructured":"Rogers, H.: Theory of Recursive Functions and Effective Computability, McGraw-Hill, New York, 1967."},{"key":"5114742_CR41","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1016\/0001-8708(76)90187-0","volume":"99","author":"G. E. Sacks","year":"1976","unstructured":"G. E. Sacks, Countable admissible ordinals and hyperdegrees, Adv. Math.\n99 (1976), 213\u2013262.","journal-title":"Adv. Math."},{"key":"5114742_CR42","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF00126495","volume":"21","author":"P. Schweizer","year":"1992","unstructured":"Schweizer, P.: A syntactical approach to modality, J. Philos. Logic\n21 (1992), 1\u201331.","journal-title":"J. Philos. Logic"},{"key":"5114742_CR43","doi-asserted-by":"crossref","first-page":"368","DOI":"10.2307\/2025495","volume":"75","author":"B. Skyrms","year":"1978","unstructured":"Skyrms, B.: An immaculate conception of modality, J. Philos.\n75 (1978), 368\u2013387.","journal-title":"J. Philos."},{"key":"5114742_CR44","doi-asserted-by":"crossref","first-page":"451","DOI":"10.1007\/BF01048355","volume":"24","author":"B. H. Slater","year":"1995","unstructured":"Slater, B. H.: Paraconsistent logics?, J. Philos. Logic\n24 (1995), 451\u2013454.","journal-title":"J. Philos. Logic"},{"key":"5114742_CR45","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1093\/analys\/9.6.83","volume":"9","author":"P. Strawson","year":"1949","unstructured":"Strawson, P.: Truth, Analysis\n9 (1949), 83\u201397.","journal-title":"Analysis"},{"key":"5114742_CR46","doi-asserted-by":"crossref","first-page":"617","DOI":"10.1007\/978-94-009-1171-0_10","volume-title":"Handbook of Philosophical Logic","author":"A. Visser","year":"1989","unstructured":"Visser, A.: Semantics and the Liar paradox, in D. Gabbay and F. G\u00fcnthner (eds), Handbook of Philosophical Logic, Vol. 4, Reidel, Dordrecht, 1989, pp. 617\u2013706."}],"container-title":["Journal of Philosophical Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1023080715357.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1023080715357\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1023\/A:1023080715357","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1023080715357.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,10]],"date-time":"2025-07-10T11:34:08Z","timestamp":1752147248000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1023080715357"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,4]]},"references-count":46,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2003,4]]}},"alternative-id":["5114742"],"URL":"https:\/\/doi.org\/10.1023\/a:1023080715357","relation":{},"ISSN":["0022-3611","1573-0433"],"issn-type":[{"value":"0022-3611","type":"print"},{"value":"1573-0433","type":"electronic"}],"subject":[],"published":{"date-parts":[[2003,4]]}}}