{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,24]],"date-time":"2025-11-24T12:24:36Z","timestamp":1763987076946,"version":"3.41.0"},"reference-count":30,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1998,7,1]],"date-time":"1998-07-01T00:00:00Z","timestamp":899251200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1998,7,1]],"date-time":"1998-07-01T00:00:00Z","timestamp":899251200000},"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":[[1998,7]]},"DOI":"10.1023\/a:1008237600846","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T13:47:34Z","timestamp":1040564854000},"page":"317-339","source":"Crossref","is-referenced-by-count":28,"title":["Speaking about Transitive Frames in Propositional Languages"],"prefix":"10.1007","volume":"7","author":[{"given":"Yasuhito","family":"Suzuki","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Frank","family":"Wolter","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Zakharyaschev","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"149378_CR1","doi-asserted-by":"crossref","first-page":"359","DOI":"10.1007\/BF00370840","volume":"57","author":"M. Amerbauer","year":"1996","unstructured":"Amerbauer, M., 1996, \u201cCut-free tableau calculi for some propositional normal modal logics,\u201d Studia Logica\n57, 359\u2013371.","journal-title":"Studia Logica"},{"key":"149378_CR2","unstructured":"Ardeshir, M. and Ruitenburg, W., 1995, \u201cBasic propositional calculus, I,\u201d Technical Report 418, Department of Mathematics, Statistics and Computer Science, Marquette University."},{"key":"149378_CR3","unstructured":"Artemov, S.N., 1995, \u201cOperational modal logic,\u201d Technical Report 9529, MSI, Cornell University."},{"key":"149378_CR4","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1007\/BF00370269","volume":"45","author":"W. Blok","year":"1986","unstructured":"Blok, W. and Pigozzi, D., 1986, \u201cProtoalgebraic logics,\u201d Studia Logica\n45, 337\u2013369.","journal-title":"Studia Logica"},{"key":"149378_CR5","volume-title":"Algebraizable Logics","author":"W. Blok","year":"1989","unstructured":"Blok, W. and Pigozzi, D., 1989, Algebraizable Logics, Memoirs of the American Mathematical Society, Vol. 77, Providence, RI: AMS."},{"key":"149378_CR6","unstructured":"Blok, W.J., 1976, \u201cVarieties of interior algebras,\u201d Ph.D. Thesis, University of Amsterdam."},{"key":"149378_CR7","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1111\/j.1755-2567.1980.tb00686.x","volume":"46","author":"G. Boolos","year":"1980","unstructured":"Boolos, G., 1980, \u201cOn systems of modal logic with provability interpretations,\u201d Theoria\n46, 7\u201318.","journal-title":"Theoria"},{"key":"149378_CR8","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198537793.001.0001","volume-title":"Modal Logic","author":"A.V. Chagrov","year":"1997","unstructured":"Chagrov, A.V. and Zakharyaschev, M.V., 1997, Modal Logic, Oxford: Oxford University Press."},{"key":"149378_CR9","doi-asserted-by":"crossref","first-page":"389","DOI":"10.1002\/malq.19870330503","volume":"33","author":"G. Corsi","year":"1987","unstructured":"Corsi, G., 1987, \u201cWeak logics with strict implication,\u201d Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik\n33, 389\u2013406.","journal-title":"Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik"},{"key":"149378_CR10","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1007\/978-94-015-8242-1_4","volume-title":"Diamonds and Defaults","author":"K. Do\u00a1sen","year":"1993","unstructured":"Do\u00a1sen, K., 1993, \u201cModal translations in K and D,\u201d pp. 103\u2013127 in Diamonds and Defaults, M. de Rijke, ed., Dordrecht: Kluwer Academic Publishers."},{"key":"149378_CR11","first-page":"257","volume-title":"Studies in Nonclassical Logics and Set Theory","author":"L.L. Esakia","year":"1979","unstructured":"Esakia, L.L., 1979, \u201cOn varieties of Grzegorczyk algebras,\u201d pp. 257\u2013287 in Studies in Nonclassical Logics and Set Theory, A.I. Mikhailov, ed., Moscow: Nauka [in Russian]."},{"key":"149378_CR12","first-page":"39","volume":"4","author":"K. G\u00f6del","year":"1933","unstructured":"G\u00f6del, K., 1933, \u201cEine Interpretation des intuitionistischen Aussagenkalk\u00fcls,\u201d Ergebnisse eines mathematischen Kolloquiums\n4, 39\u201340.","journal-title":"Ergebnisse eines mathematischen Kolloquiums"},{"key":"149378_CR13","first-page":"41","volume":"6","author":"R.I. Goldblatt","year":"1976","unstructured":"Goldblatt, R.I., 1976, \u201cMetamathematics of modal logic, Part I,\u201d Reports on Mathematical Logic\n6, 41\u201378.","journal-title":"Reports on Mathematical Logic"},{"key":"149378_CR14","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1111\/j.1755-2567.1978.tb00831.x","volume":"44","author":"R.I. Goldblatt","year":"1978","unstructured":"Goldblatt, R.I., 1978, \u201cArithmetical necessity, provability and intuitionistic logic,\u201d Theoria\n44, 38\u201346.","journal-title":"Theoria"},{"key":"149378_CR15","first-page":"27","volume":"283","author":"A.V. Kuznetsov","year":"1985","unstructured":"Kuznetsov, A.V., 1985, \u201cProof-intuitionistic propositional calculus,\u201d Doklady Academii Nauk SSSR\n283, 27\u201330 [in Russian].","journal-title":"Doklady Academii Nauk SSSR"},{"key":"149378_CR16","first-page":"193","volume-title":"Actual Problems of Logic and Methodology of Science","author":"A.V. Kuznetsov","year":"1980","unstructured":"Kuznetsov, A.V. and Muravitskij, A.Yu., 1980, \u201cProvability as modality,\u201d pp. 193\u2013230 in Actual Problems of Logic and Methodology of Science, Kiev: Naukova Dumka [in Russian]."},{"key":"149378_CR17","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1007\/BF01881551","volume":"45","author":"A.V. Kuznetsov","year":"1986","unstructured":"Kuznetsov, A.V. and Muravitskij, A.Yu., 1986, \u201cOn superintuitionistic logics as fragments of proof logic extensions,\u201d Studia Logica\n45, 77\u201399.","journal-title":"Studia Logica"},{"key":"149378_CR18","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1007\/BF01463150","volume":"13","author":"L.L. Maksimova","year":"1974","unstructured":"Maksimova, L.L. and Rybakov, V.V., 1974, \u201cLattices of modal logics,\u201d Algebra and Logic\n13, 105\u2013122.","journal-title":"Algebra and Logic"},{"key":"149378_CR19","first-page":"263","volume":"35","author":"I.E. Orlov","year":"1928","unstructured":"Orlov, I.E., 1928, \u201cThe calculus of compatibility of propositions,\u201d Mathematics of the USSR, Sbornik\n35, 263\u2013286 [in Russian].","journal-title":"Mathematics of the USSR, Sbornik"},{"key":"149378_CR20","volume-title":"The Mathematics of Metamathematics","author":"H. Rasiowa","year":"1963","unstructured":"Rasiowa, H. and Sikorski, R., 1963, The Mathematics of Metamathematics, Warsaw: Polish Scientific Publishers."},{"key":"149378_CR21","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-322-85796-5","volume-title":"Klassische und nichtklassische Aussagenlogik","author":"W. Rautenberg","year":"1979","unstructured":"Rautenberg, W., 1979, Klassische und nichtklassische Aussagenlogik, BraunschweigWiesbaden: Vieweg."},{"key":"149378_CR22","unstructured":"Ruitenburg, W., 1992, \u201cBasic logic and Fregean set theory,\u201d Technical Report 374, Department of Mathematics, Statistics and Computer Science, Marquette University."},{"key":"149378_CR23","doi-asserted-by":"crossref","first-page":"369","DOI":"10.1007\/BF01982031","volume":"23","author":"V.V. Rybakov","year":"1984","unstructured":"Rybakov, V.V., 1984, \u201cA criterion for admissibility of rules in the modal system S4 and intuitionistic logic,\u201d Algebra and Logic\n23, 369\u2013384.","journal-title":"Algebra and Logic"},{"key":"149378_CR24","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4613-8601-8","volume-title":"Self-reference and Modal Logic","author":"C. Smory\u0144ski","year":"1985","unstructured":"Smory\u0144ski, C., 1985, Self-reference and Modal Logic, Heidelberg and New York: Springer-Verlag."},{"key":"149378_CR25","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1007\/BF01874706","volume":"40","author":"A. Visser","year":"1981","unstructured":"Visser, A., 1981, \u201cA propositional logic with explicit fixed points,\u201d Studia Logica\n40, 155\u2013175.","journal-title":"Studia Logica"},{"key":"149378_CR26","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1007\/978-94-011-5638-7_8","volume-title":"Logic, Language and Computation","author":"H. Wansing","year":"1997","unstructured":"Wansing, H., 1997, \u201cDisplaying as temporalizing. Sequent systems for subintuitionistic logics,\u201d pp. 159\u2013178 in Logic, Language and Computation, Seiki Akama, ed., Dordrecht: Kluwer Academic Publishers."},{"issue":"2","key":"149378_CR27","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1007\/BF02672476","volume":"36","author":"F. Wolter","year":"1997","unstructured":"Wolter, F. and Zakharyaschev, M., 1997a, \u201cOn the relation between intuitionistic and classical modal logics,\u201d Algebra and Logic\n36 (2), 73\u201392.","journal-title":"Algebra and Logic"},{"key":"149378_CR28","volume-title":"Logic at Work","author":"F. Wolter","year":"1997","unstructured":"Wolter, F. and Zakharyaschev, M., 1997b, \u201cIntuitionistic modal logics as fragments of classical bimodal logics,\u201d in Logic at Work, E. Orlowska, ed., Dordrecht: Kluwer Academic Publishers, in press."},{"key":"149378_CR29","unstructured":"Yashin, A.D., 1997, \u201cIrreflexive modality in intuitionistic propositional logic and Novikov completeness,\u201d Journal of Philosophical Logic, to appear."},{"key":"149378_CR30","doi-asserted-by":"crossref","first-page":"1377","DOI":"10.2307\/2275372","volume":"57","author":"M.V. Zakharyaschev","year":"1992","unstructured":"Zakharyaschev, M.V., 1992, \u201cCanonical formulas for K4. Part I: Basic results,\u201d Journal of Symbolic Logic\n57, 1377\u20131402.","journal-title":"Journal of Symbolic Logic"}],"container-title":["Journal of Logic, Language and Information"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008237600846.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1008237600846\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008237600846.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,12]],"date-time":"2025-06-12T10:19:35Z","timestamp":1749723575000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1008237600846"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998,7]]},"references-count":30,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1998,7]]}},"alternative-id":["149378"],"URL":"https:\/\/doi.org\/10.1023\/a:1008237600846","relation":{},"ISSN":["0925-8531","1572-9583"],"issn-type":[{"type":"print","value":"0925-8531"},{"type":"electronic","value":"1572-9583"}],"subject":[],"published":{"date-parts":[[1998,7]]}}}