{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,5]],"date-time":"2026-05-05T02:32:00Z","timestamp":1777948320741,"version":"3.51.4"},"reference-count":33,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2003,6,1]],"date-time":"2003-06-01T00:00:00Z","timestamp":1054425600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2003,6,1]],"date-time":"2003-06-01T00:00:00Z","timestamp":1054425600000},"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,6]]},"DOI":"10.1023\/a:1024248828122","type":"journal-article","created":{"date-parts":[[2003,9,15]],"date-time":"2003-09-15T11:32:14Z","timestamp":1063625534000},"page":"259-285","source":"Crossref","is-referenced-by-count":35,"title":["Synonymous Logics"],"prefix":"10.1007","volume":"32","author":[{"given":"Francis Jeffry","family":"Pelletier","sequence":"first","affiliation":[]},{"given":"Alasdair","family":"Urquhart","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"5122632_CR1","unstructured":"Birkhoff, G. (1967): Lattice Theory, Amer. Math. Soc. Colloq. Publ. 25."},{"key":"5122632_CR2","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511621192","volume-title":"Modal Logic: An Introduction","author":"B. F. Chellas","year":"1980","unstructured":"Chellas, B. F. (1980): Modal Logic: An Introduction, Cambridge University Press, Cambridge."},{"key":"5122632_CR3","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1007\/BF02584057","volume":"40","author":"J. Czelakowski","year":"1980","unstructured":"Czelakowski, J. (1980): Equivalential logics I, II, Studia Logica\n40, 227\u2013236, 335\u2013372.","journal-title":"Studia Logica"},{"key":"5122632_CR4","first-page":"435","volume-title":"Models, Algebras and Proofs","author":"J. Da Silva","year":"1999","unstructured":"Da Silva, J., D'Ottaviano, M., and Sette, A. (1999): Translations between logics, in X. Casedo and C. Montenegro (eds), Models, Algebras and Proofs, Marcel Dekker, New York, pp. 435\u2013448."},{"key":"5122632_CR5","unstructured":"De Bouv\u00e8re, K. (1965): Synonymous theories, in J. Addison, L. Henkin and A. Tarski (eds), Symposium on the Theory of Models, North-Holland, pp. 402\u2013406."},{"key":"5122632_CR6","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-009-0525-2","volume-title":"The Semantic Foundations of Logic. Vol. 1: Propositional Logics","author":"R. Epstein","year":"1990","unstructured":"Epstein, R. (1990): The Semantic Foundations of Logic. Vol. 1: Propositional Logics, Kluwer Academic Publishers, Dordrecht."},{"key":"5122632_CR7","doi-asserted-by":"crossref","unstructured":"Hughes, G. and Cresswell, M. (1996): A New Introduction to Modal Logic, Routledge.","DOI":"10.4324\/9780203290644"},{"key":"5122632_CR8","doi-asserted-by":"crossref","first-page":"891","DOI":"10.2307\/2372123","volume":"73","author":"B. J\u00f3nsson","year":"1951","unstructured":"J\u00f3nsson, B. and Tarski, A. (1951): Boolean algebras with operators. Part I, Amer. J. Math.\n73, 891\u2013939.","journal-title":"Amer. J. Math."},{"key":"5122632_CR9","doi-asserted-by":"crossref","first-page":"127","DOI":"10.2307\/2372074","volume":"74","author":"B. J\u00f3nsson","year":"1952","unstructured":"J\u00f3nsson, B. and Tarski, A. (1952): Boolean algebras with operators. Part II, Amer. J. Math.\n74, 127\u2013162.","journal-title":"Amer. J. Math."},{"key":"5122632_CR10","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1111\/j.1755-2567.1968.tb00334.x","volume":"34","author":"S. Kanger","year":"1968","unstructured":"Kanger, S. (1968): Equivalent theories, Theoria\n34, 1\u20136.","journal-title":"Theoria"},{"key":"5122632_CR11","doi-asserted-by":"publisher","first-page":"409","DOI":"10.1007\/BF00714371","volume":"42","author":"R. Kirk","year":"1982","unstructured":"Kirk, R. (1982): On three alleged rivals to homophonic translation, Philos. Stud.\n42, 409\u2013418.","journal-title":"Philos. Stud."},{"key":"5122632_CR12","volume-title":"Introduction to Metamathematics","author":"S. Kleene","year":"1952","unstructured":"Kleene, S. (1952): Introduction to Metamathematics, Van Nostrand, Princeton."},{"key":"5122632_CR13","doi-asserted-by":"crossref","unstructured":"Kraj\u00ed\u010dek, J. (1996): Bounded Arithmetic, Propositional Logic and Complexity Theory, Cambridge University Press.","DOI":"10.1017\/CBO9780511529948"},{"key":"5122632_CR14","unstructured":"Kuhn, S. T. (1977): Many-sorted Modal Logics, Uppsala University Filosofiska Studier Number 29."},{"key":"5122632_CR15","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/BF00205012","volume":"14","author":"W. Lenzen","year":"1979","unstructured":"Lenzen, W. (1979): Epistemologische Betrachtungen zu [S4,S5], Erkenntnis\n14, 33\u201356.","journal-title":"Erkenntnis"},{"key":"5122632_CR16","unstructured":"Massey, G. (1978): Indeterminacy, inscrutability, and ontological relativity, in Studies in Ontology, Amer. Philosophical Quarterly Monograph Ser. 9, Basil Blackwell."},{"key":"5122632_CR17","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2307\/2268135","volume":"13","author":"J. McKinsey","year":"1948","unstructured":"McKinsey, J. and Tarski, A. (1948): Some theorems about the sentential calculi of Lewis and Heyting, J. Symbolic Logic\n13, 1\u201315.","journal-title":"J. Symbolic Logic"},{"key":"5122632_CR18","volume-title":"Contributions to the axiomatic foundations of set theory","author":"R. M. Montague","year":"1957","unstructured":"Montague, R. M. (1957): Contributions to the axiomatic foundations of set theory, PhD thesis, University of California, Berkeley."},{"key":"5122632_CR19","first-page":"415","volume":"108","author":"F. J. Pelletier","year":"1984","unstructured":"Pelletier, F. J. (1984a): The not-so-strange modal logic of indeterminacy, Logique et Anal.\n108, 415\u2013422.","journal-title":"Logique et Anal."},{"key":"5122632_CR20","first-page":"423","volume":"108","author":"F. J. Pelletier","year":"1984","unstructured":"Pelletier, F. J. (1984b): Six problems in \u201ctranslational equivalence\u201d, Logique et Anal.\n108, 423\u2013434.","journal-title":"Logique et Anal."},{"key":"5122632_CR21","doi-asserted-by":"publisher","first-page":"422","DOI":"10.1305\/ndjfl\/1039182255","volume":"39","author":"S. Pollard","year":"1998","unstructured":"Pollard, S. (1998): Homeomorphism and the equivalence of logical systems, Notre Dame J. Formal Logic\n39, 422\u2013435.","journal-title":"Notre Dame J. Formal Logic"},{"key":"5122632_CR22","doi-asserted-by":"crossref","unstructured":"Prawitz, D. and Malmn\u00e4s (1968): A survey of some connections between classical, intuitionistic and minimal logic, in H. Schmidt, K. Sch\u00fctte and H.-J. Thiele (eds), Contributions to Mathematical Logic, North-Holland, pp. 215\u2013229.","DOI":"10.1016\/S0049-237X(08)70527-5"},{"key":"5122632_CR23","doi-asserted-by":"crossref","unstructured":"Prior, A. (1967): Past, Present and Future, Oxford University Press.","DOI":"10.1093\/acprof:oso\/9780198243113.001.0001"},{"key":"5122632_CR24","first-page":"45","volume":"3","author":"T. Prucnal","year":"1974","unstructured":"Prucnal, T. and Wro\u0144ski, A. (1974): An algebraic characterization of the notion of structural completeness, Bull. Sec. Logic Polish Acad. Sci.\n3, 45\u201352.","journal-title":"Bull. Sec. Logic Polish Acad. Sci."},{"key":"5122632_CR25","unstructured":"Quine, W. (1960): Word and Object, MIT Press."},{"key":"5122632_CR26","volume-title":"Classical Propositional Operators","author":"K. Segerberg","year":"1982","unstructured":"Segerberg, K. (1982): Classical Propositional Operators, Clarendon Press, Oxford."},{"key":"5122632_CR27","first-page":"305","volume":"5","author":"B. Soboci\u0144ski","year":"1964","unstructured":"Soboci\u0144ski, B. (1964): Modal system S4.4, Notre Dame J. Formal Logic\n5, 305\u2013312.","journal-title":"Notre Dame J. Formal Logic"},{"key":"5122632_CR28","doi-asserted-by":"crossref","first-page":"549","DOI":"10.2307\/2272895","volume":"39","author":"S. Thomason","year":"1974","unstructured":"Thomason, S. (1974): Reduction of tense logic to modal logic I, J. Symbolic Logic\n39, 549\u2013551.","journal-title":"J. Symbolic Logic"},{"key":"5122632_CR29","doi-asserted-by":"crossref","first-page":"154","DOI":"10.1111\/j.1755-2567.1975.tb00555.x","volume":"3","author":"S. Thomason","year":"1975","unstructured":"Thomason, S. (1975): Reduction of tense logic to modal logic II, Theoria\n3, 154\u2013169.","journal-title":"Theoria"},{"key":"5122632_CR30","volume-title":"Constructivism in Mathematics: An Introduction","author":"A. S. Troelstra","year":"1988","unstructured":"Troelstra, A. S. and van Dalen, D. (1988): Constructivism in Mathematics: An Introduction, North-Holland, Amsterdam."},{"key":"5122632_CR31","doi-asserted-by":"crossref","unstructured":"White, N. (ed.) (1986): Theory of Matroids, Cambridge University Press.","DOI":"10.1017\/CBO9780511629563"},{"key":"5122632_CR32","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-015-6942-2","volume-title":"Theory of Logical Calculi","author":"R. W\u00f3jcicki","year":"1988","unstructured":"W\u00f3jcicki, R. (1988): Theory of Logical Calculi, Kluwer Academic Publishers, Dordrecht."},{"key":"5122632_CR33","doi-asserted-by":"crossref","first-page":"341","DOI":"10.1305\/ndjfl\/1093894298","volume":"12","author":"J. J. Zeman","year":"1971","unstructured":"Zeman, J. J. (1971): A study of some systems in the neighbourhood of S4.4, Notre Dame J. Formal Logic\n12, 341\u2013357.","journal-title":"Notre Dame J. Formal Logic"}],"container-title":["Journal of Philosophical Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1024248828122.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1024248828122\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1023\/A:1024248828122","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1024248828122.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,10]],"date-time":"2025-07-10T11:38:30Z","timestamp":1752147510000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1024248828122"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,6]]},"references-count":33,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2003,6]]}},"alternative-id":["5122632"],"URL":"https:\/\/doi.org\/10.1023\/a:1024248828122","relation":{},"ISSN":["0022-3611","1573-0433"],"issn-type":[{"value":"0022-3611","type":"print"},{"value":"1573-0433","type":"electronic"}],"subject":[],"published":{"date-parts":[[2003,6]]}}}