{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,7]],"date-time":"2025-10-07T14:36:59Z","timestamp":1759847819217},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540600176"},{"type":"electronic","value":"9783540494041"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/bfb0022274","type":"book-chapter","created":{"date-parts":[[2005,11,22]],"date-time":"2005-11-22T01:12:29Z","timestamp":1132621949000},"page":"442-455","source":"Crossref","is-referenced-by-count":6,"title":["Algorithmic aspects of propositional tense logics"],"prefix":"10.1007","author":[{"given":"Alexander V.","family":"Chagrov","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Valentin B.","family":"Shehtman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,15]]},"reference":[{"key":"32_CR1","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1016\/0001-8708(77)90056-1","volume":"24","author":"K.A. Baker","year":"1977","unstructured":"BAKER K.A. Finite equational bases for finite algebras in a congruence distributive equational classes. Adv. Math., 1977, v.24, 207\u2013243.","journal-title":"Adv. Math."},{"key":"32_CR2","first-page":"119","volume":"No.7","author":"D.M. Bredikhin","year":"1975","unstructured":"BREDIKHIN D.M. Representation of ordered involuted semigroups. Izvestija vuzov, matematika, 1975, No.7, 119\u2013129 (in Russian).","journal-title":"Izvestija vuzov, matematika"},{"issue":"No.3","key":"32_CR3","first-page":"350","volume":"29","author":"A.V. Chagrov","year":"1990","unstructured":"CHAGROV A.V. Undecidable properties of extensions of provability logic. I: Algebra i Logika, 1990, v.29, No.3, 350\u2013367; II: ibid., No.5, 613\u2013623. (In Russian)","journal-title":"I: Algebra i Logika"},{"issue":"No.3","key":"32_CR4","doi-asserted-by":"crossref","first-page":"967","DOI":"10.2307\/2275108","volume":"58","author":"A.V. Chagrov","year":"1993","unstructured":"CHAGROV A.V., ZAKHARYASCHEV M.V. The undecidability of the disjunction property of propositional logics and other related problems. J. of Symb. Logic, 1993, v.58, No.3, 967\u20131002.","journal-title":"J. of Symb. Logic"},{"key":"32_CR5","unstructured":"GOLDBLATT R. Logic of time and computation. CSLI Lecture Notes No.7, 1987."},{"issue":"No.3","key":"32_CR6","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1111\/j.1755-2567.1977.tb00788.x","volume":"43","author":"S. Isard","year":"1977","unstructured":"ISARD S. A finitely axiomatizable undecidable extension of K. Theoria, 1977, v.43, No.3, 195\u2013202.","journal-title":"Theoria"},{"key":"32_CR7","first-page":"50","volume":"93","author":"Y. V. Matijasevich","year":"1967","unstructured":"MATIJASEVICH Yu. V. Simple examples of undecidable associative calculi. Trudy MIAN SSSR, 1967, v.93, 50\u201388 (in Russian).","journal-title":"Trudy MIAN SSSR"},{"key":"32_CR8","doi-asserted-by":"crossref","first-page":"437","DOI":"10.2307\/1970290","volume":"74","author":"M.L. Minsky","year":"1961","unstructured":"MINSKY M.L. Recursive unsolvability of Post's problem of \u201cTag\u201d and other topics in the theory of Turing machines. Annals of Mathematics, 1961, v. 74, pp. 437\u2013455.","journal-title":"Annals of Mathematics"},{"key":"32_CR9","doi-asserted-by":"crossref","first-page":"110","DOI":"10.1016\/S0049-237X(08)70728-6","volume":"82","author":"H. Sahlqvist","year":"1975","unstructured":"SAHLQVIST H. Completeness and correspondence in the first and second order semantics for modal logic. Studies in Logic and Found. Math., 1975, v.82, 110\u2013143.","journal-title":"Studies in Logic and Found. Math."},{"issue":"No.3","key":"32_CR10","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1111\/j.1755-2567.1970.tb00429.x","volume":"36","author":"K. Segerberg","year":"1970","unstructured":"SEGERBERG K. Modal logics with linear alternative relations. Theoria, 1970, v.36, No.3, 301\u2013322.","journal-title":"Theoria"},{"key":"32_CR11","first-page":"188","volume":"No.2","author":"B.M. Shain","year":"1965","unstructured":"SHAIN B.M. Representation of ordered semigroups. Matematicheskij Sbornik, 1965, No.2, 188\u2013197 (in Russian).","journal-title":"Matematicheskij Sbornik"},{"key":"32_CR12","unstructured":"SHEHTMAN V.B. Undecidable propositional calculi. In: Neklassicheskije logiki i ih prilozhenija. Ed. by All-Union Council on Cybernetics. Moscow,1982, 74\u2013116 (In Russian)."},{"key":"32_CR13","first-page":"549","volume":"39","author":"S.K. Thomason","year":"1974","unstructured":"THOMASON S.K. Reduction of tense logic to modal logic. I: J. of Symb. Logic, 1974, v.39, 549\u2013551. II: Theoria, 1975, v. 41, 151\u2013169.","journal-title":"I: J. of Symb. Logic"},{"key":"32_CR14","first-page":"341","volume-title":"Universal algebra and applications","author":"S.K. Thomason","year":"1982","unstructured":"THOMASON S.K. Undecidability of the completeness problem of modal logic. Universal algebra and applications, 1982, v.9, 341\u2013345. Banach Center Publications, Warsaw."}],"container-title":["Lecture Notes in Computer Science","Computer Science Logic"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0022274","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,5]],"date-time":"2019-02-05T00:42:56Z","timestamp":1549327376000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0022274"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540600176","9783540494041"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/bfb0022274","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}