{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:45:54Z","timestamp":1762458354219,"version":"3.41.2"},"reference-count":23,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2002,8,1]],"date-time":"2002-08-01T00:00:00Z","timestamp":1028160000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2002,8,1]],"date-time":"2002-08-01T00:00:00Z","timestamp":1028160000000},"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":[[2002,8]]},"DOI":"10.1023\/a:1019992820056","type":"journal-article","created":{"date-parts":[[2003,3,15]],"date-time":"2003-03-15T08:06:10Z","timestamp":1047715570000},"page":"359-386","source":"Crossref","is-referenced-by-count":7,"title":["Modal Logic, Truth, and the Master Modality"],"prefix":"10.1007","volume":"31","author":[{"given":"Torben","family":"Bra\u00fcner","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5090806_CR1","doi-asserted-by":"crossref","first-page":"977","DOI":"10.2307\/2695090","volume":"66","author":"C. Areces","year":"2001","unstructured":"Areces, C., Blackburn, P. and Marx, M.: 2001, Hybrid logics: Characterization, interpolation and complexity, J. Symbolic Logic\n66, 977-1010.","journal-title":"J. Symbolic Logic"},{"key":"5090806_CR2","doi-asserted-by":"crossref","unstructured":"Blackburn, P., de Rijke, M. and Venema, Y.: 2001, Modal Logic, Cambridge Tracts in Theoret. Comput. Sci. 53, Cambridge University Press.","DOI":"10.1017\/CBO9781107050884"},{"key":"5090806_CR3","first-page":"41","volume-title":"Advances in Modal Logic, Vol. 1","author":"P. Blackburn","year":"1998","unstructured":"Blackburn, P. and Seligman, J.: 1998, What are hybrid languages? in M. Kracht, M. de Rijke, H. Wansing and M. Zakharyaschev (eds.), Advances in Modal Logic, Vol. 1, CSLI Publications, Stanford, CA, pp. 41-62."},{"key":"5090806_CR4","volume-title":"Advances in Modal Logic, Vol. 3","author":"T. Bra\u00fcner","year":"2001","unstructured":"Bra\u00fcner, T.: 2001, Homophonic theory of truth for tense logic, in F. Wolter, H. Wansing, M. de Rijke and M. Zakharyaschev (eds.), Advances in Modal Logic, Vol. 3, CSLI Publications, Stanford, CA. To appear. An earlier version was given at Advances in Modal Logic\/International Conference on Temporal Logic, 2000."},{"key":"5090806_CR5","unstructured":"Davidson, D.: 1984, Inquiries into Truth and Interpretation, Oxford University Press."},{"key":"5090806_CR6","first-page":"365","volume-title":"Handbook of Logic in Artificial Intelligence and Logic Programming, Vol. 1, Logical Foundations","author":"M. Fitting","year":"1993","unstructured":"Fitting, M.: 1993, Basic modal logic, in D. Gabbay et al. (eds.), Handbook of Logic in Artificial Intelligence and Logic Programming, Vol. 1, Logical Foundations, Oxford University Press, Oxford, pp. 365-448."},{"key":"5090806_CR7","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 Mendelsohn, R. L.: 1998, First-Order Modal Logic, Kluwer Academic Publishers, Dordrecht."},{"key":"5090806_CR8","doi-asserted-by":"crossref","first-page":"441","DOI":"10.1007\/BF00245939","volume":"7","author":"A. Gupta","year":"1978","unstructured":"Gupta, A.: 1978, Modal logic and truth, J. Philos. Logic\n7, 441-472.","journal-title":"J. Philos. Logic"},{"key":"5090806_CR9","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1016\/0022-0000(89)90039-1","volume":"38","author":"J. Y. Halpern","year":"1989","unstructured":"Halpern, J. Y. and Vardi, M. Y.: 1989, The complexity of reasoning about knowledge and time. I. Lower bounds, J. Comput. Systems Sci.\n38, 195-237.","journal-title":"J. Comput. Systems Sci."},{"key":"5090806_CR10","unstructured":"Hughes, G. E. and Cresswell, M. J.: 1968, An Introduction to Modal Logic, Methuen."},{"key":"5090806_CR11","unstructured":"Hughes, G. E. and Cresswell, M. J.: 1984, A Companion to Modal Logic, Methuen."},{"key":"5090806_CR12","doi-asserted-by":"crossref","unstructured":"Humberstone, L.: 1996, Homophony, validity, modality, in J. Copeland (ed.), Logic and Reality: Essays in the Legacy of Arthur Prior, Oxford University Press\/Clarendon Press, pp. 215-236.","DOI":"10.1093\/oso\/9780198240600.003.0010"},{"key":"5090806_CR13","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1007\/BF01128202","volume":"39","author":"P. \u00d8hrstr\u00f8m","year":"1993","unstructured":"\u00d8hrstr\u00f8m, P. and Hasle, P.: 1993, A. N. Prior's rediscovery of tense logic, Erkenntnis\n39, 23-50.","journal-title":"Erkenntnis"},{"key":"5090806_CR14","doi-asserted-by":"crossref","first-page":"473","DOI":"10.1007\/BF00245940","volume":"7","author":"C. Peacocke","year":"1978","unstructured":"Peacocke, C.: 1978, Necessity and truth theories, J. Philos. Logic\n7, 473-500.","journal-title":"J. Philos. Logic"},{"key":"5090806_CR15","unstructured":"Prior, A.: 1957, Time and Modality, Clarendon\/Oxford University Press."},{"key":"5090806_CR16","doi-asserted-by":"crossref","unstructured":"Prior, A.: 1967, Past, Present and Future, Oxford.","DOI":"10.1093\/acprof:oso\/9780198243113.001.0001"},{"key":"5090806_CR17","unstructured":"Prior, A.: 1968, Papers on Time and Tense, Clarendon\/Oxford University Press. A revised and extended edition of this book will in 2003 be published by Oxford University Press, edited by P. Hasle, P. \u00d8hrstr\u00f8m, T. Bra\u00fcner, and J. Copeland."},{"key":"5090806_CR18","doi-asserted-by":"crossref","unstructured":"Sundholm, G.: 1986, Proof theory and meaning, in D. Gabbay and F. Guenthner (eds.), Handbook of Philosophical Logic, Vol. III, Alternatives to Classical Logic, D. Reidel, pp. 471-506.","DOI":"10.1007\/978-94-009-5203-4_8"},{"key":"5090806_CR19","first-page":"111","volume-title":"Logic and Reality: Essays in the Legacy of Arthur Prior","author":"R. Sylvan","year":"1996","unstructured":"Sylvan, R.: 1996, Other withered stumps of time, in J. Copeland (ed.), Logic and Reality: Essays in the Legacy of Arthur Prior, Oxford University Press\/Clarendon Press, Oxford, pp. 111-130."},{"key":"5090806_CR20","unstructured":"Tarski, A.: 1956, The concept of truth in formalized languages, in Logic, Semantics, Metamathematics, Oxford University Press, pp. 152-278."},{"key":"5090806_CR21","doi-asserted-by":"crossref","unstructured":"Thomason, R. H.: 1976, Necessity, quotation and truth: An indexical theory, in A. Kasher (ed.), Language in Focus, D. Reidel, pp. 119-138.","DOI":"10.1007\/978-94-010-1876-0_8"},{"key":"5090806_CR22","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1007\/BF00413601","volume":"22","author":"J. Wallace","year":"1970","unstructured":"Wallace, J.: 1970, On the frame of reference, Synthese\n22, 61-94.","journal-title":"Synthese"},{"key":"5090806_CR23","unstructured":"Wallace, J.: 1975, Nonstandard theories of truth, in D. Davidson and G. Harman (eds.), The Logic of Grammar, Dickenson Publishing Company, pp. 50-60."}],"container-title":["Journal of Philosophical Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1019992820056.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1019992820056\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1023\/A:1019992820056","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1019992820056.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,10]],"date-time":"2025-07-10T11:31:23Z","timestamp":1752147083000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1019992820056"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,8]]},"references-count":23,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2002,8]]}},"alternative-id":["5090806"],"URL":"https:\/\/doi.org\/10.1023\/a:1019992820056","relation":{},"ISSN":["0022-3611","1573-0433"],"issn-type":[{"type":"print","value":"0022-3611"},{"type":"electronic","value":"1573-0433"}],"subject":[],"published":{"date-parts":[[2002,8]]}}}