{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:24:36Z","timestamp":1761611076532,"version":"3.41.0"},"reference-count":28,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1999,4,1]],"date-time":"1999-04-01T00:00:00Z","timestamp":922924800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1999,4,1]],"date-time":"1999-04-01T00:00:00Z","timestamp":922924800000},"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 Logic, Language and Information"],"published-print":{"date-parts":[[1999,4]]},"DOI":"10.1023\/a:1008398102653","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T14:41:38Z","timestamp":1040568098000},"page":"143-166","source":"Crossref","is-referenced-by-count":5,"title":["An Extended Branching-Time Ockhamist Temporal Logic"],"prefix":"10.1007","volume":"8","author":[{"given":"Mark","family":"Brown","sequence":"first","affiliation":[]},{"given":"Valentin","family":"Goranko","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"187285_CR1","unstructured":"Blackburn, P., 1989, \u201cNominal tense logic,\u201d Dissertation, Centre for Cognitive Science, University of Edinburgh."},{"key":"187285_CR2","doi-asserted-by":"crossref","first-page":"385","DOI":"10.1007\/BF00414289","volume":"92","author":"N. Belnap","year":"1992","unstructured":"Belnap, N., 1992, \u201cBranching space-time,\u201d Synthese\n92, 385\u2013434.","journal-title":"Synthese"},{"issue":"3","key":"187285_CR3","doi-asserted-by":"crossref","first-page":"282","DOI":"10.1111\/j.1755-2567.1970.tb00428.x","volume":"36","author":"R. Bull","year":"1970","unstructured":"Bull, R., 1970, \u201cAn approach to tense logic,\u201d Theoria\n36(3), 282\u2013300.","journal-title":"Theoria"},{"key":"187285_CR4","doi-asserted-by":"crossref","first-page":"556","DOI":"10.2307\/2273296","volume":"44","author":"J. Burgess","year":"1979","unstructured":"Burgess, J., 1979, \u201cLogic and time,\u201d Journal of Symbolic Logic\n44, 556\u2013582.","journal-title":"Journal of Symbolic Logic"},{"issue":"2\/3","key":"187285_CR5","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1007\/BF00370320","volume":"39","author":"J. Burgess","year":"1980","unstructured":"Burgess, J., 1980, \u201cDecidability for branching time,\u201d Studia Logica\n39(2\/3), 203\u2013218.","journal-title":"Studia Logica"},{"issue":"2","key":"187285_CR6","doi-asserted-by":"crossref","first-page":"566","DOI":"10.2307\/2275293","volume":"57","author":"M. de Rijke","year":"1989","unstructured":"de Rijke, M., 1989, \u201cThe modal logic of inequality,\u201d Journal of Symbolic Logic\n57(2), 566\u2013584.","journal-title":"Journal of Symbolic Logic"},{"key":"187285_CR7","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1007\/BFb0013993","volume-title":"Temporal Logic","author":"M.C. Di Maio","year":"1994","unstructured":"Di Maio, M.C. and Zanardo, A., 1994, \u201cSynchronized histories in Prior-Thomason representation of branching time,\u201d pp. 265\u2013282 in Temporal Logic, Lecture Notes in Artificial Intelligence, Vol. 827, D. Gabbay and H.-J. Ohlbach, eds., Berlin: Springer-Verlag."},{"key":"187285_CR8","unstructured":"Di Maio, M.C. and Zanardo, A., 1996, \u201cGabbay-rule free axiomatization of T \u00d7 W validity,\u201d University of Padova, Department of Mathematics, Preprint No. 27, 1996."},{"key":"187285_CR9","first-page":"995","volume-title":"Handbook of Theoretical Computer Science","author":"E.A. Emerson","year":"1990","unstructured":"Emerson, E.A., 1990, \u201cTemporal and modal logic,\u201d pp. 995\u20131072 in Handbook of Theoretical Computer Science, Vol. B, J. van Leeuwen, ed., Amsterdam: Elsevier."},{"key":"187285_CR10","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1007\/978-94-009-8384-7_3","volume-title":"Aspects of Philosophical Logic","author":"D. Gabbay","year":"1981","unstructured":"Gabbay, D., 1981, \u201cAn irreflexivity lemma with applications to axiomatizations of conditions on tense frames,\u201d pp. 67\u201389 in Aspects of Philosophical Logic, U. Monnich, ed., Dordrecht: Reidel."},{"key":"187285_CR11","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1093\/logcom\/1.2.229","volume":"1","author":"D. Gabbay","year":"1990","unstructured":"Gabbay, D. and Hodkinson, I., 1990, \u201cAn axiomatization of the temporal logic with Since and Until over the real numbers,\u201d Journal of Logic and Computation\n1, 229\u2013259.","journal-title":"Journal of Logic and Computation"},{"issue":"6","key":"187285_CR12","doi-asserted-by":"crossref","first-page":"607","DOI":"10.1007\/BF01054038","volume":"22","author":"G. Gargov","year":"1993","unstructured":"Gargov, G. and Goranko, V., 1993, \u201cModal logic with names,\u201d Journal of Philosophical Logic\n22(6), 607\u2013636.","journal-title":"Journal of Philosophical Logic"},{"key":"187285_CR13","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF00215625","volume":"5","author":"V. Goranko","year":"1996","unstructured":"Goranko, V., 1996, \u201cHierarchies of modal and temporal logics with reference pointers,\u201d Journal of Logic, Language and Information\n5, 1\u201324.","journal-title":"Journal of Logic, Language and Information"},{"key":"187285_CR14","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1023\/A:1005021313747","volume":"61","author":"V. Goranko","year":"1998","unstructured":"Goranko, V., 1998, \u201cAxiomatizations with context rules of inference in modal logic,\u201d Studia Logica\n61, 179\u2013197.","journal-title":"Studia Logica"},{"issue":"3","key":"187285_CR15","doi-asserted-by":"crossref","first-page":"668","DOI":"10.2307\/2274321","volume":"50","author":"Y. Gurevich","year":"1985","unstructured":"Gurevich, Y. and Shelah, S., 1985, \u201cThe decision problem for branching-time logic,\u201d Journal of Symbolic Logic\n50(3), 668\u2013681.","journal-title":"Journal of Symbolic Logic"},{"issue":"2","key":"187285_CR16","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1016\/0890-5401(91)90026-X","volume":"93","author":"S. Passy","year":"1991","unstructured":"Passy, S. and Tinchev, T., 1991, \u201cAn essay in combinatory dynamic logic,\u201d Information and Computation\n93(2), 263\u2013332.","journal-title":"Information and Computation"},{"issue":"1","key":"187285_CR17","doi-asserted-by":"crossref","first-page":"60","DOI":"10.2307\/2268488","volume":"21","author":"A. Prior","year":"1956","unstructured":"Prior, A., 1956, \u201cModality and quantification in S5,\u201d Journal of Symbolic Logic\n21(1), 60\u201362.","journal-title":"Journal of Symbolic Logic"},{"key":"187285_CR18","doi-asserted-by":"crossref","DOI":"10.1093\/acprof:oso\/9780198243113.001.0001","volume-title":"Past, Present, and Future","author":"A. Prior","year":"1967","unstructured":"Prior, A., 1967, Past, Present, and Future, Oxford: Clarendon Press."},{"key":"187285_CR19","first-page":"478","volume-title":"Handbook of Logic in Computer Science, Vol. 2: Computational Structures","author":"C. Stirling","year":"1992","unstructured":"Stirling, C., 1992, \u201cModal and temporal logics,\u201d pp. 478\u2013563 in Handbook of Logic in Computer Science, Vol. 2: Computational Structures, S. Abramski, D. Gabbay and T. Maibaum, eds., Oxford: Clarendon Press."},{"key":"187285_CR20","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1007\/978-94-009-6259-0_3","volume-title":"Handbook of Philosophical Logic","author":"R. Thomason","year":"1984","unstructured":"Thomason, R., 1984, \u201cCombinations of tense and modality,\u201d pp. 135\u2013165 in Handbook of Philosophical Logic, Vol. II, D. Gabbay and F. Guenthner, eds., Dordrecht: Reidel."},{"key":"187285_CR21","unstructured":"Venema, Y., 1991, \u201cMany-dimensional modal logic,\u201d Dissertation, Department of Mathematics, University of Amsterdam."},{"issue":"3","key":"187285_CR22","doi-asserted-by":"crossref","first-page":"1003","DOI":"10.2307\/2275109","volume":"58","author":"Y. Venema","year":"1993","unstructured":"Venema, Y., 1993, \u201cDerivation rules as anti-axioms in modal logic,\u201d Journal of Symbolic Logic\n58(3), 1003\u20131034.","journal-title":"Journal of Symbolic Logic"},{"issue":"3","key":"187285_CR23","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1023\/A:1017942520078","volume":"26","author":"F. von Kutschera","year":"1997","unstructured":"von Kutschera, F., 1997, \u201cT \u00d7 W completeness,\u201d Journal of Philosophical Logic\n26(3), 241\u2013250.","journal-title":"Journal of Philosophical Logic"},{"key":"187285_CR24","doi-asserted-by":"crossref","first-page":"447","DOI":"10.1007\/BF00649485","volume":"14","author":"A. Zanardo","year":"1985","unstructured":"Zanardo, A., 1985, \u201cA finite axiomatization of the set of strongly valid Ockhamist formulas,\u201d Journal of Philosophical Logic\n14, 447\u2013468.","journal-title":"Journal of Philosophical Logic"},{"key":"187285_CR25","doi-asserted-by":"crossref","first-page":"131","DOI":"10.1007\/BF00284972","volume":"20","author":"A. Zanardo","year":"1991","unstructured":"Zanardo, A., 1991, \u201cA complete deductive system for Since-Until branching-time logic,\u201d Journal of Philosophical Logic\n20, 131\u2013148.","journal-title":"Journal of Philosophical Logic"},{"issue":"1","key":"187285_CR26","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2307\/2275595","volume":"61","author":"A. Zanardo","year":"1996","unstructured":"Zanardo, A., 1996, \u201cBranching-time logic with quantification over branches: The point of view of modal logic,\u201d Journal of Symbolic Logic\n61(1), 1\u201339.","journal-title":"Journal of Symbolic Logic"},{"key":"187285_CR27","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1023\/A:1008259000544","volume":"7","author":"A. Zanardo","year":"1998","unstructured":"Zanardo, A., 1998, \u201cUndivided and indistinguishable histories in branching time logics,\u201d Journal of Logic, Language and Information\n7, 297\u2013315.","journal-title":"Journal of Logic, Language and Information"},{"issue":"3","key":"187285_CR28","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1093\/logcom\/3.3.249","volume":"3","author":"A. Zanardo","year":"1993","unstructured":"Zanardo, A. and Carmo, J., 1993, \u201cOckhamist computational logic: Past-sensitive necessitation in CTL*,\u201d Journal of Logic and Computation\n3(3), 249\u2013268.","journal-title":"Journal of Logic and Computation"}],"container-title":["Journal of Logic, Language and Information"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008398102653.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1008398102653\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008398102653.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,12]],"date-time":"2025-06-12T10:22:17Z","timestamp":1749723737000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1008398102653"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999,4]]},"references-count":28,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1999,4]]}},"alternative-id":["187285"],"URL":"https:\/\/doi.org\/10.1023\/a:1008398102653","relation":{},"ISSN":["0925-8531","1572-9583"],"issn-type":[{"type":"print","value":"0925-8531"},{"type":"electronic","value":"1572-9583"}],"subject":[],"published":{"date-parts":[[1999,4]]}}}