{"status":"ok","message-type":"work-list","message-version":"1.0.0","message":{"facets":{},"total-results":3489,"items":[{"indexed":{"date-parts":[[2022,4,1]],"date-time":"2022-04-01T07:48:56Z","timestamp":1648799336670},"reference-count":9,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[1976,12,1]],"date-time":"1976-12-01T00:00:00Z","timestamp":218246400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[1976,12]]},"DOI":"10.1007\/bf02123400","type":"journal-article","created":{"date-parts":[[2005,10,29]],"date-time":"2005-10-29T06:40:56Z","timestamp":1130568056000},"page":"327-333","source":"Crossref","is-referenced-by-count":1,"title":["On the autological character of diagonalizable algebras"],"prefix":"10.1007","volume":"35","author":[{"given":"Roberto","family":"Magari","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"3","key":"BF02123400_CR1","doi-asserted-by":"crossref","first-page":"239","DOI":"10.1007\/BF02125226","volume":"XXXIV","author":"C. Bernardi","year":"1975","unstructured":"C. Bernardi,The fixed-point theorem for the diagonalizable algebras (the algebraization of the theories which express Theor; III),Studia Logica XXXIV 3 (1975), pp. 239\u2013251.","journal-title":"Studia Logica"},{"issue":"4","key":"BF02123400_CR2","doi-asserted-by":"crossref","first-page":"321","DOI":"10.1007\/BF02121663","volume":"XXXIV","author":"C. Bernardi","year":"1975","unstructured":"C. Bernardi,On the equational class of diagonalizable algebras (the algebraization of the theories which express Theor, VI),Studia Logica XXXIV, 4 (1975), pp. 321\u2013331.","journal-title":"Studia Logica"},{"key":"BF02123400_CR3","first-page":"117","volume":"12","author":"R. Magari","year":"1975","unstructured":"R. Magari,The diagnonalizable algebras (the algebraization of the theories which express Theor; II),Bollettino Unione Matematica Haliana 12 (1975), pp. 117\u2013125.","journal-title":"Bollettino Unione Matematica Haliana"},{"issue":"4","key":"BF02123400_CR4","doi-asserted-by":"crossref","first-page":"305","DOI":"10.1007\/BF02121661","volume":"XXXIV","author":"R. Magari","year":"1975","unstructured":"R. Magari,Representation and duality theory for diagonalizable algebras (the algebraization of the theories, which express Theor; IV) Studia Logica XXXIV, 4 (1975), pp. 305\u2013313.","journal-title":"Studia Logica"},{"key":"BF02123400_CR5","volume-title":"Introduction to mathematical logic","author":"E. Mendelson","year":"1964","unstructured":"E. Mendelson,Introduction to mathematical logic, D. Van Nostrand Company, Princeton, New Jersey, 1964."},{"issue":"4","key":"BF02123400_CR6","doi-asserted-by":"crossref","first-page":"315","DOI":"10.1007\/BF02121662","volume":"XXXIV","author":"F. Montagna","year":"1975","unstructured":"F. Montagna,For every n, the n-freely generated algebra is, not functionally free in the equational class of diagonalizable algebras (the algebraization of the theories which express Theor; V).Studia Logica XXXIV. 4 (1975), pp. 315\u2013319.","journal-title":"Studia Logica"},{"key":"BF02123400_CR7","unstructured":"P. Pagli,Su alcune estensioni del lemma di diagonalizzazione nell'aritmetica di Peano, to appear."},{"key":"BF02123400_CR8","volume-title":"The mathematics of metamathematics","author":"H. Rasiowa","year":"1963","unstructured":"H. Rasiowa andR. Sikorski,The mathematics of metamathematics, Warszawa, PWN, 1963."},{"key":"BF02123400_CR9","volume-title":"Boolean algebras","author":"R. Sikorski","year":"1963","unstructured":"R. Sikorski,Boolean algebras, Springer-Verlag, Berlin-Heidelberg-New York 1963 (third edition).","edition":"(third edition)"}],"container-title":["Studia Logica"],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02123400.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02123400\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02123400","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,14]],"date-time":"2019-05-14T01:30:50Z","timestamp":1557797450000},"score":0.0,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02123400"}},"issued":{"date-parts":[[1976,12]]},"references-count":9,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1976,12]]}},"alternative-id":["BF02123400"],"URL":"https:\/\/doi.org\/10.1007\/bf02123400","ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"published":{"date-parts":[[1976,12]]}},{"indexed":{"date-parts":[[2024,3,25]],"date-time":"2024-03-25T04:19:06Z","timestamp":1711340346291},"reference-count":0,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1960,12,1]],"date-time":"1960-12-01T00:00:00Z","timestamp":-286675200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[1960,12]]},"DOI":"10.1007\/bf02120408","type":"journal-article","created":{"date-parts":[[2005,9,14]],"date-time":"2005-09-14T13:59:01Z","timestamp":1126706341000},"page":"97-108","source":"Crossref","is-referenced-by-count":6,"title":["A generalization of the refutability postulate"],"prefix":"10.1007","volume":"10","author":[{"given":"Jerzy","family":"Giedymin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","container-title":["Studia Logica"],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02120408.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02120408\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02120408","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,14]],"date-time":"2019-05-14T01:15:58Z","timestamp":1557796558000},"score":0.0,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02120408"}},"issued":{"date-parts":[[1960,12]]},"references-count":0,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1960,12]]}},"alternative-id":["BF02120408"],"URL":"https:\/\/doi.org\/10.1007\/bf02120408","ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"published":{"date-parts":[[1960,12]]}},{"indexed":{"date-parts":[[2022,4,4]],"date-time":"2022-04-04T13:57:25Z","timestamp":1649080645297},"reference-count":0,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1995,10,1]],"date-time":"1995-10-01T00:00:00Z","timestamp":812505600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[1995,10]]},"DOI":"10.1007\/bf01053007","type":"journal-article","created":{"date-parts":[[2005,1,27]],"date-time":"2005-01-27T12:39:03Z","timestamp":1106829543000},"page":"411-424","source":"Crossref","is-referenced-by-count":0,"title":["Books received"],"prefix":"10.1007","volume":"54","author":[{"given":"Mark A.","family":"Brown","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan","family":"Wole\u0144ski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrzej","family":"Nowak","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Adam","family":"Drozdek","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","container-title":["Studia Logica"],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01053007.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01053007\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01053007","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,30]],"date-time":"2019-04-30T00:50:09Z","timestamp":1556585409000},"score":0.0,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01053007"}},"issued":{"date-parts":[[1995,10]]},"references-count":0,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1995,10]]}},"alternative-id":["BF01053007"],"URL":"https:\/\/doi.org\/10.1007\/bf01053007","ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"published":{"date-parts":[[1995,10]]}},{"indexed":{"date-parts":[[2022,4,1]],"date-time":"2022-04-01T22:11:42Z","timestamp":1648851102173},"reference-count":0,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2006,4,1]],"date-time":"2006-04-01T00:00:00Z","timestamp":1143849600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2006,4]]},"DOI":"10.1007\/s11225-006-8227-2","type":"journal-article","created":{"date-parts":[[2006,5,18]],"date-time":"2006-05-18T06:22:01Z","timestamp":1147933321000},"page":"401-401","source":"Crossref","is-referenced-by-count":0,"title":["Erratum"],"prefix":"10.1007","volume":"82","member":"297","container-title":["Studia Logica"],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-006-8227-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-006-8227-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-006-8227-2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T06:24:40Z","timestamp":1559370280000},"score":0.0,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-006-8227-2"}},"issued":{"date-parts":[[2006,4]]},"references-count":0,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2006,4]]}},"alternative-id":["8227"],"URL":"https:\/\/doi.org\/10.1007\/s11225-006-8227-2","ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"published":{"date-parts":[[2006,4]]}},{"indexed":{"date-parts":[[2022,3,31]],"date-time":"2022-03-31T20:27:15Z","timestamp":1648758435032},"reference-count":0,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1971,12,1]],"date-time":"1971-12-01T00:00:00Z","timestamp":60393600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[1971,12]]},"DOI":"10.1007\/bf02124269","type":"journal-article","created":{"date-parts":[[2005,9,15]],"date-time":"2005-09-15T12:05:46Z","timestamp":1126785946000},"page":"96-97","source":"Crossref","is-referenced-by-count":0,"title":["Nieistotne fragmenty rozszerze\u0144 teorii pierwszego rz\u0119du"],"prefix":"10.1007","volume":"28","author":[{"given":"M.","family":"Prze\u0142\u0119cki","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R.","family":"W\u00f3jcicki","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","container-title":["Studia Logica"],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02124269.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02124269\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02124269","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,14]],"date-time":"2019-05-14T01:31:02Z","timestamp":1557797462000},"score":0.0,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02124269"}},"issued":{"date-parts":[[1971,12]]},"references-count":0,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1971,12]]}},"alternative-id":["BF02124269"],"URL":"https:\/\/doi.org\/10.1007\/bf02124269","ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"published":{"date-parts":[[1971,12]]}},{"indexed":{"date-parts":[[2022,3,30]],"date-time":"2022-03-30T23:27:12Z","timestamp":1648682832374},"reference-count":0,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2010,2,16]],"date-time":"2010-02-16T00:00:00Z","timestamp":1266278400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2010,3]]},"DOI":"10.1007\/s11225-010-9231-0","type":"journal-article","created":{"date-parts":[[2010,2,15]],"date-time":"2010-02-15T14:10:16Z","timestamp":1266243016000},"page":"147-150","source":"Crossref","is-referenced-by-count":0,"title":["Algebra and Probability in Many-Valued Reasoning"],"prefix":"10.1007","volume":"94","author":[{"given":"Ioana","family":"Leu\u015ftean","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vincenzo","family":"Marra","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2010,2,16]]},"container-title":["Studia Logica"],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-010-9231-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-010-9231-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-010-9231-0","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T06:24:46Z","timestamp":1559370286000},"score":0.0,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-010-9231-0"}},"issued":{"date-parts":[[2010,2,16]]},"references-count":0,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2010,3]]}},"alternative-id":["9231"],"URL":"https:\/\/doi.org\/10.1007\/s11225-010-9231-0","ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"published":{"date-parts":[[2010,2,16]]}},{"indexed":{"date-parts":[[2022,3,31]],"date-time":"2022-03-31T12:48:42Z","timestamp":1648730922800},"reference-count":0,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1971,12,1]],"date-time":"1971-12-01T00:00:00Z","timestamp":60393600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[1971,12]]},"DOI":"10.1007\/bf02282561","type":"journal-article","created":{"date-parts":[[2006,1,25]],"date-time":"2006-01-25T12:41:45Z","timestamp":1138192905000},"page":"115-116","source":"Crossref","is-referenced-by-count":0,"title":["\u041e \u0434\u0435\u0444\u0438\u043d\u0438\u0442\u043d\u043e\u0439 \u0438\u043c\u043f\u043b\u0438\u043a\u0430\u0446\u0438\u0438"],"prefix":"10.1007","volume":"27","author":[{"given":"\u0410.","family":"\u041f\u0435\u0447\u043a\u043e\u0432\u0441\u043a\u0438","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","container-title":["Studia Logica"],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02282561.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02282561\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02282561","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,15]],"date-time":"2019-05-15T14:44:05Z","timestamp":1557931445000},"score":0.0,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02282561"}},"subtitle":["\u0420\u0435\u0437\u044e\u043c\u0435"],"issued":{"date-parts":[[1971,12]]},"references-count":0,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1971,12]]}},"alternative-id":["BF02282561"],"URL":"https:\/\/doi.org\/10.1007\/bf02282561","ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"published":{"date-parts":[[1971,12]]}},{"indexed":{"date-parts":[[2023,11,7]],"date-time":"2023-11-07T06:48:54Z","timestamp":1699339734612},"reference-count":18,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2009,3,1]],"date-time":"2009-03-01T00:00:00Z","timestamp":1235865600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2009,3]]},"DOI":"10.1007\/s11225-009-9174-5","type":"journal-article","created":{"date-parts":[[2009,3,3]],"date-time":"2009-03-03T09:35:31Z","timestamp":1236072931000},"page":"239-271","source":"Crossref","is-referenced-by-count":10,"title":["Jump Liars and Jourdain\u2019s Card via the Relativized T-scheme"],"prefix":"10.1007","volume":"91","author":[{"given":"Ming","family":"Hsiung","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2009,3,4]]},"reference":[{"key":"9174_CR1","volume-title":"Logic of Provability","author":"G. Boolos","year":"1993","unstructured":"Boolos G.: Logic of Provability. Cambridge University Press, Cambridge (1993)"},{"issue":"4","key":"9174_CR2","doi-asserted-by":"crossref","first-page":"590","DOI":"10.2307\/2184846","volume":"88","author":"C. Chihara","year":"1979","unstructured":"Chihara C.: \u2018The semantic paradoxes: A diagnostic investigation\u2019. The Philosophical Review 88(4), 590\u2013618 (1979)","journal-title":"The Philosophical Review"},{"key":"9174_CR3","volume-title":"Graph Theory, Graduate Texts in Mathematics","author":"R. Diestel","year":"2000","unstructured":"Diestel R.: Graph Theory, 2nd. edn., Graduate Texts in Mathematics. Springer-Verlag, New York (2000)","edition":"2"},{"key":"9174_CR4","doi-asserted-by":"crossref","unstructured":"Gupta, A., \u2018Truth and paradox\u2019, Journal of Philosophical Logic, 11 (1982), 1\u201360. Reprinted in [11], pp. 175-235.","DOI":"10.1007\/BF00302338"},{"key":"9174_CR5","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5938.001.0001","volume-title":"The Revision Theory of Truth","author":"A. Gupta","year":"1993","unstructured":"Gupta A., Belnap N.: The Revision Theory of Truth. MIT Press, Cambridge (1993)"},{"issue":"2","key":"9174_CR6","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1023\/A:1023080715357","volume":"32","author":"V. Halbach","year":"2003","unstructured":"Halbach V., Leitgeb H., Welch P.: \u2018Possible-worlds semantics for modal notions conceived as predicates\u2019. Journal of Philosophical Logic 32(2), 179\u2013223 (2003)","journal-title":"Journal of Philosophical Logic"},{"key":"9174_CR7","doi-asserted-by":"crossref","first-page":"479","DOI":"10.2307\/2026380","volume":"79","author":"H.G. Herzberger","year":"1982","unstructured":"Herzberger H.G.: \u2018Naive semantics and the Liar paradox\u2019. Journal of Philosophy 79, 479\u2013497 (1982)","journal-title":"Journal of Philosophy"},{"key":"9174_CR8","doi-asserted-by":"crossref","unstructured":"Herzberger, H. G., \u2018Notes on naive semantics\u2019, Journal of Philosophical Logic, 11 (1982), 61\u2013102. Reprinted in [11], pp. 133-174.","DOI":"10.1007\/BF00302339"},{"key":"9174_CR9","unstructured":"Kripke, S. A., \u2018Outline of a theory of truth\u2019, Journal of Philosophy, 72 (1975), 19, 690\u2013712. Reprinted in [11], pp. 53-82."},{"issue":"281\u2013307","key":"9174_CR10","doi-asserted-by":"crossref","first-page":"309","DOI":"10.1023\/A:1017982316171","volume":"30","author":"H. Leitgeb","year":"2001","unstructured":"Leitgeb H.: \u2018Truth as translation \u2013 part A, part B\u2019. Journal of Philosophical Logic 30(281\u2013307), 309\u2013328 (2001)","journal-title":"Journal of Philosophical Logic"},{"key":"9174_CR11","volume-title":"Recent Essays on Truth and the Liar Paradox","author":"R.L. Martin","year":"1984","unstructured":"Martin R.L.: Recent Essays on Truth and the Liar Paradox. Oxford University Press, Oxford (1984)"},{"issue":"4","key":"9174_CR12","doi-asserted-by":"crossref","first-page":"236","DOI":"10.1093\/analys\/57.4.236","volume":"57","author":"G. Priest","year":"1997","unstructured":"Priest G.: \u2018Yablo\u2019s paradox\u2019. Analysis 57(4), 236\u2013242 (1997)","journal-title":"Analysis"},{"issue":"4","key":"9174_CR13","doi-asserted-by":"crossref","first-page":"437","DOI":"10.1007\/BF00262865","volume":"9","author":"Reinhardt","year":"1980","unstructured":"William N., William N.: \u2018Necessity predicates and operators\u2019. Journal of Philosophical Logic 9(4), 437\u2013450 (1980)","journal-title":"Journal of Philosophical Logic"},{"key":"9174_CR14","unstructured":"Tarski, A., \u2018The concept of truth in formalized languages\u2019, Studia Philosophica, 1 (1936), 261\u2013405. Also in [15], pp. 152-278."},{"key":"9174_CR15","volume-title":"Logic, semantics, metamathematics: papers from 1923 to 1938","author":"A. Tarski","year":"1956","unstructured":"Tarski A.: Logic, semantics, metamathematics: papers from 1923 to 1938. Clarendon Press, Oxford (1956)"},{"key":"9174_CR16","first-page":"115","volume-title":"Truth, Oxford Readings in Philosophy","author":"A. Tarski","year":"1999","unstructured":"Tarski, A., \u2018The semantic conception of truth and the foundations of semantics\u2019, in S. Blackburn, and K. Simmons, (eds.), Truth, Oxford Readings in Philosophy, Oxford University Press, New York, 1999, pp. 115\u2013143."},{"key":"9174_CR17","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1093\/analys\/53.4.251","volume":"53","author":"S. Yablo","year":"1993","unstructured":"Yablo S.: \u2018Paradox without self-reference\u2019. Analysis 53, 251\u2013252 (1993)","journal-title":"Analysis"},{"key":"9174_CR18","unstructured":"Yablo, S., \u2018Circularity and paradox\u2019, in V. F. Hendricks T. Bolander, and S. A. Pedersen, (eds.), Self-Reference, CSLI Publications, 2004, pp. 139\u2013157."}],"container-title":["Studia Logica"],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-009-9174-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-009-9174-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-009-9174-5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,5,16]],"date-time":"2020-05-16T08:01:46Z","timestamp":1589616106000},"score":0.0,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-009-9174-5"}},"issued":{"date-parts":[[2009,3]]},"references-count":18,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2009,3]]}},"alternative-id":["9174"],"URL":"https:\/\/doi.org\/10.1007\/s11225-009-9174-5","ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"published":{"date-parts":[[2009,3]]}},{"indexed":{"date-parts":[[2022,4,2]],"date-time":"2022-04-02T05:30:37Z","timestamp":1648877437805},"reference-count":0,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1990,6,1]],"date-time":"1990-06-01T00:00:00Z","timestamp":644198400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[1990,6]]},"DOI":"10.1007\/bf00935605","type":"journal-article","created":{"date-parts":[[2005,1,3]],"date-time":"2005-01-03T08:34:38Z","timestamp":1104741278000},"page":"288-288","source":"Crossref","is-referenced-by-count":0,"title":["Call for papers"],"prefix":"10.1007","volume":"49","member":"297","container-title":["Studia Logica"],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00935605.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00935605\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00935605","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,29]],"date-time":"2019-04-29T18:40:10Z","timestamp":1556563210000},"score":0.0,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00935605"}},"issued":{"date-parts":[[1990,6]]},"references-count":0,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1990,6]]}},"alternative-id":["BF00935605"],"URL":"https:\/\/doi.org\/10.1007\/bf00935605","ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"published":{"date-parts":[[1990,6]]}},{"indexed":{"date-parts":[[2022,4,1]],"date-time":"2022-04-01T23:30:20Z","timestamp":1648855820134},"reference-count":2,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1966,12,1]],"date-time":"1966-12-01T00:00:00Z","timestamp":-97372800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[1966,12]]},"DOI":"10.1007\/bf02123248","type":"journal-article","created":{"date-parts":[[2005,9,15]],"date-time":"2005-09-15T07:54:16Z","timestamp":1126770856000},"page":"139-160","source":"Crossref","is-referenced-by-count":2,"title":["Rachunek zda\u0144, w kt\u00f3rym wyra\u017cenia trac\u0105 sens"],"prefix":"10.1007","volume":"18","author":[{"given":"Krystyna","family":"Pir\u00f3g-Rzepecka","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF02123248_CR1","unstructured":"Por. m\u00f3j artyku\u0142O kwestiach logicznych w nauczaniu nier\u00f3wno\u015bci w czasopi\u015bmie \u201eMatematyka\u201d Nr 3 i 4, 1964."},{"key":"BF02123248_CR2","unstructured":"Szczeg\u00f3lnym przypadkiem r\u00f3wnowa\u017cno\u015bci funkcji zdaniowych w zbiorze jest r\u00f3wnowa\u017cno\u015b\u0107 funkcji zdaniowych w zwyk\u0142ym sensie. W przypadku, gdy zbi\u00f3r, w kt\u00f3rym r\u00f3wnowa\u017cne s\u0105 funkcje zdaniowe jest r\u00f3wny zakresowi zmiennych w nich wyst\u0119puj\u0105cych, poj\u0119cie r\u00f3wnowa\u017cno\u015bci w sensie logiki klasycznej nie r\u00f3\u017cni si\u0119 od poj\u0119cia r\u00f3wnowa\u017cno\u015bci w zbiorze."}],"container-title":["Studia Logica"],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02123248.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02123248\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02123248","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,13]],"date-time":"2019-05-13T21:22:38Z","timestamp":1557782558000},"score":0.0,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02123248"}},"issued":{"date-parts":[[1966,12]]},"references-count":2,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1966,12]]}},"alternative-id":["BF02123248"],"URL":"https:\/\/doi.org\/10.1007\/bf02123248","ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"published":{"date-parts":[[1966,12]]}},{"indexed":{"date-parts":[[2024,4,10]],"date-time":"2024-04-10T13:40:13Z","timestamp":1712756413170},"reference-count":62,"publisher":"Springer Science and Business Media LLC","issue":"1-3","license":[{"start":{"date-parts":[[2011,8,25]],"date-time":"2011-08-25T00:00:00Z","timestamp":1314230400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2011,10]]},"DOI":"10.1007\/s11225-011-9350-2","type":"journal-article","created":{"date-parts":[[2011,8,24]],"date-time":"2011-08-24T11:54:51Z","timestamp":1314186891000},"page":"229-248","source":"Crossref","is-referenced-by-count":0,"title":["Possible Worlds in Use"],"prefix":"10.1007","volume":"99","author":[{"given":"Andrzej","family":"Indrzejczak","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2011,8,25]]},"reference":[{"key":"9350_CR1","first-page":"59","volume":"37","author":"S.V. Babyonishev","year":"2003","unstructured":"Babyonishev S.V.: \u2018Fully Fregean Logics\u2019. Reports on Mathematical Logic 37, 59\u201378 (2003)","journal-title":"Reports on Mathematical Logic"},{"key":"9350_CR2","doi-asserted-by":"crossref","first-page":"359","DOI":"10.1093\/mind\/LXIII.251.359","volume":"63","author":"Y. Bar-Hillel","year":"1954","unstructured":"Bar-Hillel Y.: \u2018Indexical Expressions\u2019. Mind 63, 359\u2013379 (1954)","journal-title":"Mind"},{"key":"9350_CR3","volume-title":"Situations and Attitudes","author":"J. Barwise","year":"1983","unstructured":"Barwise J., Perry J.: Situations and Attitudes. MIT Press, Cambridge (1983)"},{"key":"9350_CR4","unstructured":"van Benthem, J., S. van Otterloo, and O. Roy, \u2018Preference Logic, Conditionals and Solution Concepts in Games\u2019, ILLC Publications 2005."},{"key":"9350_CR5","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781107050884","volume-title":"Modal Logic","author":"P. Blackburn","year":"2001","unstructured":"Blackburn P., DeRijke M., Venema Y.: Modal Logic. Cambridge University Press, Cambridge (2001)"},{"key":"9350_CR6","unstructured":"Blok, W.J., and D. Pigozzi, Algebraizable Logics, American Mathematical Society, Providence, RI."},{"key":"9350_CR7","doi-asserted-by":"crossref","unstructured":"Bull, R., and K. Segerberg, \u2018Basic Modal Logic\u2019, in D. Gabbay, F. Guenthner (eds.), Handbook of Philosophical Logic, vol. II, Reidel Publishing Company, Dordrecht 1984, pp. 1\u201388.","DOI":"10.1007\/978-94-009-6259-0_1"},{"key":"9350_CR8","doi-asserted-by":"crossref","first-page":"33","DOI":"10.2307\/2268610","volume":"11","author":"R. Carnap","year":"1946","unstructured":"Carnap R.: \u2018Modalities and Quantification\u2019. The Journal of Symbolic Logic 11, 33\u201364 (1946)","journal-title":"The Journal of Symbolic Logic"},{"key":"9350_CR9","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198537793.001.0001","volume-title":"Modal Logic","author":"A. Chagrov","year":"1997","unstructured":"Chagrov A., Zakharyaschev M.: Modal Logic. Oxford University Press, Oxford (1997)"},{"key":"9350_CR10","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511621192","volume-title":"Modal Logic","author":"B. Chellas","year":"1980","unstructured":"Chellas B.: Modal Logic. Cambridge University Press, Cambridge (1980)"},{"key":"9350_CR11","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1023\/A:1015273407895","volume":"31","author":"J.B. Copeland","year":"2002","unstructured":"Copeland J.B.: \u2018The Genesis of PossibleWorld Semantics\u2019. Journal of Philosophical Logic 31, 99\u2013137 (2002)","journal-title":"Journal of Philosophical Logic"},{"key":"9350_CR12","doi-asserted-by":"crossref","unstructured":"Czelakowski, J., \u2018Equivalential Logics\u2019, part I and II, Studia Logica 40:227\u2013236, 335\u2013372, 1981.","DOI":"10.1007\/BF02584057"},{"key":"9350_CR13","doi-asserted-by":"crossref","first-page":"131","DOI":"10.1007\/978-1-4613-3228-2_10","volume-title":"Current Issues in Quantum Logic.","author":"J. Czelakowski","year":"1981","unstructured":"Czelakowski J.: \u2019Partial Referential Matrices for Quantum Logics\u2019. In: Beltrametti, E., van Fraassen, B.C. (eds) Current Issues in Quantum Logic., pp. 131\u2013146. Plenum Press, London\/New York (1981)"},{"key":"9350_CR14","volume-title":"Protoalgebraic Logic, Trends in Logic 10","author":"J. Czelakowski","year":"2010","unstructured":"Czelakowski J.: Protoalgebraic Logic, Trends in Logic 10. Kluwer, Dordrecht (2010)"},{"key":"9350_CR15","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198531920.001.0001","volume-title":"Algebraic Methods in Philosophical Logic","author":"J.M. Dunn","year":"2001","unstructured":"Dunn J.M., Hardegree G.M.: Algebraic Methods in Philosophical Logic. Clarendon Press, Oxford (2001)"},{"key":"9350_CR16","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-017-2794-5","volume-title":"Proof Methods for Modal and Intuitionistic Logics","author":"M. Fitting","year":"1983","unstructured":"Fitting M.: Proof Methods for Modal and Intuitionistic Logics. Reidel, Dordrecht (1983)"},{"key":"9350_CR17","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., Mendelsohn R.L.: First-Order Modal Logic. Kluwer, Dordrecht (1998)"},{"key":"9350_CR18","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-21591-3","volume-title":"A General Algebraic Semantics for Sentential Logics","author":"J.M. Font","year":"1996","unstructured":"Font J.M., Jansana R.: A General Algebraic Semantics for Sentential Logics. Springer, Berlin (1996)"},{"key":"9350_CR19","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1023\/A:1024621922509","volume":"74","author":"J.M. Font","year":"2003","unstructured":"Font J.M., Jansana R., Pigozzi D.: \u2018A Survey on Abstract Algebraic Logic\u2019. Studia Logica 74, 13\u201397 (2003)","journal-title":"Studia Logica"},{"key":"9350_CR20","doi-asserted-by":"crossref","unstructured":"Garson, J.W., \u2018Quantification in Modal Logic\u2019, in D. Gabbay, F. Guenthner (eds.), Handbook of Philosophical Logic, vol II, Reidel Publishing Company, Dordrecht 1984, pp. 249\u2013307.","DOI":"10.1007\/978-94-009-6259-0_5"},{"key":"9350_CR21","unstructured":"Gerson M.S., (1974) A Comparative Study of Modal Propositional Semantics, Dissertation, Vancouver"},{"key":"9350_CR22","unstructured":"Goldblatt, R. I., \u2018Metamathematics of Modal Logics\u2019, part I and II Reports on Mathematical Logic 6:41\u201378, 7:21\u201352, 1976."},{"key":"9350_CR23","doi-asserted-by":"crossref","first-page":"309","DOI":"10.1016\/S1570-8683(03)00008-9","volume":"1","author":"R.I. Goldblatt","year":"2003","unstructured":"Goldblatt R.I.: \u2018Mathematical Modal Logic: A view of its evolution\u2019. Journal of Applied Logic 1, 309\u2013392 (2003)","journal-title":"Journal of Applied Logic"},{"key":"9350_CR24","unstructured":"Hintikka, J., \u2018Quantifiers in Deontic Logic\u2019, Societas Scientiarum Fennica, Commentationes Humanarum Literarum 23(4), (1957)"},{"issue":"3-4","key":"9350_CR25","first-page":"159","volume":"36","author":"A. Indrzejczak","year":"2007","unstructured":"Indrzejczak A.: \u2018Labelled Tableau Calculi for Weak Modal Logics\u2019. Bulletin of the Section of Logic 36(3-4), 159\u2013173 (2007)","journal-title":"Bulletin of the Section of Logic"},{"key":"9350_CR26","doi-asserted-by":"crossref","unstructured":"Indrzejczak, A., Natural Deduction, Hybrid Systems and Modal Logics, Trends in Logic 30, Springer 2010.","DOI":"10.1007\/978-90-481-8785-0"},{"key":"9350_CR27","first-page":"63","volume":"41","author":"R. Jansana","year":"2006","unstructured":"Jansana R., Palmigiano A.: \u2018Referential Semantics: Duality and Applications\u2019. Reports on Mathematical Logic 41, 63\u201393 (2006)","journal-title":"Reports on Mathematical Logic"},{"issue":"3-4","key":"9350_CR28","first-page":"238","volume":"37","author":"J. Kaczmarek","year":"2008","unstructured":"Kaczmarek J.: \u2018What is a Formalized Ontology Today? An example of IIC\u2019. Bulletin of the Section of Logic 37(3-4), 238\u2013244 (2008)","journal-title":"Bulletin of the Section of Logic"},{"key":"9350_CR29","first-page":"99","volume":"8","author":"D. Kaplan","year":"1978","unstructured":"Kaplan D.: \u2018On the Logic of Demonstratives\u2019. Journal of Philosophical Logic 8, 99\u2013115 (1978)","journal-title":"Journal of Philosophical Logic"},{"key":"9350_CR30","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2307\/2964568","volume":"24","author":"S. Kripke","year":"1959","unstructured":"Kripke S.: \u2018A Completeness Theorem in Modal Logic\u2019. Journal of Symbolic Logic 24, 1\u201314 (1959)","journal-title":"Journal of Symbolic Logic"},{"key":"9350_CR31","doi-asserted-by":"crossref","unstructured":"Kripke, S., \u2018Semantical Analysis of Modal Logic I\u2019, Zeitschrift f\u00fcr Mathematische Logik und Grundlegen der Mathematik 9:67\u201396, 1963","DOI":"10.1002\/malq.19630090502"},{"key":"9350_CR32","doi-asserted-by":"crossref","unstructured":"Lemmon, E. J., \u2018Algebraic Semantics for Modal Logic\u2019 part I and II, Journal of Symbolic Logic 31:46\u201365, 31:191\u2013218, 1966.","DOI":"10.2307\/2269810"},{"key":"9350_CR33","volume-title":"Symbolic Logic","author":"C.I. Lewis","year":"1932","unstructured":"Lewis C.I., Langford C.H.: Symbolic Logic. Dover, New York (1932)"},{"key":"9350_CR34","doi-asserted-by":"crossref","first-page":"113","DOI":"10.2307\/2024555","volume":"65","author":"D. Lewis","year":"1968","unstructured":"Lewis D.: \u2018Counterpart Theory and Quantified Modal Logic\u2019. Journal of Philosophy 65, 113\u2013126 (1968)","journal-title":"Journal of Philosophy"},{"key":"9350_CR35","unstructured":"\u0141o\u015b, J., \u2018O matrycach logicznych\u2019, Prace Wroc\u0142awskiego Towarzystwa Naukowego, 1949."},{"key":"9350_CR36","doi-asserted-by":"crossref","first-page":"177","DOI":"10.1016\/S1385-7258(58)50024-9","volume":"20","author":"J. \u0141o\u015b","year":"1958","unstructured":"\u0141o\u015b J., Suszko R.: \u2018Remarks on Sentential Logics\u2019. Indagationes Mathematicae 20, 177\u2013183 (1958)","journal-title":"Indagationes Mathematicae"},{"key":"9350_CR37","first-page":"30","volume":"23","author":"J. \u0141ukasiewicz","year":"1930","unstructured":"\u0141ukasiewicz J., Tarski A.: \u2018Untersuchungen \u00fcbr den Aussagenkalk\u00fcl\u2019. Comptes Rendus des Seances de la Societe des Sciences et des Lettres de Varsovie 23, 30\u201350 (1930)","journal-title":"Comptes Rendus des Seances de la Societe des Sciences et des Lettres de Varsovie"},{"key":"9350_CR38","doi-asserted-by":"crossref","first-page":"331","DOI":"10.1111\/j.1755-2567.1970.tb00431.x","volume":"36","author":"D.C. Makinson","year":"1970","unstructured":"Makinson D.C.: \u2018A Generalization of the Concept of a Relational Model for Modal Logic\u2019. Theoria 36, 331\u2013335 (1970)","journal-title":"Theoria"},{"issue":"3","key":"9350_CR39","first-page":"90","volume":"12","author":"G. Malinowski","year":"1983","unstructured":"Malinowski G.: \u2018Pseudo-referential Matrix Semantics for Propositional Logics\u2019. Bulletin of the Section of Logic 12(3), 90\u201398 (1983)","journal-title":"Bulletin of the Section of Logic"},{"key":"9350_CR40","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198537878.001.0001","volume-title":"Many-Valued Logics","author":"G. Malinowski","year":"1993","unstructured":"Malinowski G.: Many-Valued Logics. Clarendon Press, Oxford (1993)"},{"key":"9350_CR41","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1007\/s11225-011-9307-5","volume":"97","author":"G. Malinowski","year":"2011","unstructured":"Malinowski G.: \u2018Referentiality and Matrix Semantics\u2019. Studia Logica 97, 297\u2013312 (2011)","journal-title":"Studia Logica"},{"key":"9350_CR42","doi-asserted-by":"crossref","first-page":"141","DOI":"10.2307\/1969080","volume":"45","author":"J.C.C. McKinsey","year":"1944","unstructured":"McKinsey J.C.C., Tarski A.: \u2018The Algebra of Topology\u2019. Annals of Mathematics 45, 141\u2013191 (1944)","journal-title":"Annals of Mathematics"},{"key":"9350_CR43","unstructured":"Montague, R., \u2018Pragmatics\u2019, in R. Klibansky (eds.), Contemporary Philosophy: A Survey, La Nuova Italia Editrice, 1968, pp. 102\u2013122."},{"key":"9350_CR44","first-page":"97","volume":"21","author":"M. Nowak","year":"1992","unstructured":"Nowak M.: \u2018On two Relatives of the Classical Logic\u2019. Bulletin of the Section of Logic 21, 97\u2013102 (1992)","journal-title":"Bulletin of the Section of Logic"},{"key":"9350_CR45","unstructured":"Nowak, M., Formalna reprezentacja poje\u0327cia sa\u0327du, Wyd. Uniwersytetu \u0141\u00f3dzkiego, \u0141\u00f3d\u017a 2003."},{"key":"9350_CR46","doi-asserted-by":"crossref","unstructured":"Scott, D., \u2018Advices on modal logic\u2019, in K. Lambert (ed.), Philosophical Problems in Logic. Reidel, Dordrecht 1970, pp. 143\u2013173.","DOI":"10.1007\/978-94-010-3272-8_7"},{"key":"9350_CR47","doi-asserted-by":"crossref","first-page":"272","DOI":"10.1007\/BF00413603","volume":"22","author":"R.C. Stalnaker","year":"1970","unstructured":"Stalnaker R.C.: \u2018Pragmatics\u2019. Synthese 22, 272\u2013289 (1970)","journal-title":"Synthese"},{"key":"9350_CR48","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1007\/BF02547932","volume":"6","author":"R. Suszko","year":"1957","unstructured":"Suszko R.: \u2018Formalna teoria warto\u015bci logicznych\u2019. Studia Logica 6, 145\u2013276 (1957)","journal-title":"Studia Logica"},{"key":"9350_CR49","first-page":"105","volume":"11","author":"R. Suszko","year":"1968","unstructured":"Suszko R.: \u2018Non-Fregean Logic and Theories\u2019, Analele Universitatii Bucuresti. Acta Logica 11, 105\u2013125 (1968)","journal-title":"Acta Logica"},{"key":"9350_CR50","doi-asserted-by":"crossref","first-page":"361","DOI":"10.1007\/BF01696782","volume":"37","author":"A. Tarski","year":"1930","unstructured":"Tarski A.: \u2018Fundamentale Begriffe der Methodologie der deduktiven Wissenschaften\u2019. Monatschefte f\u00fcr Mathematik und Physik 37, 361\u2013404 (1930)","journal-title":"Monatschefte f\u00fcr Mathematik und Physik"},{"key":"9350_CR51","doi-asserted-by":"crossref","first-page":"150","DOI":"10.2307\/2272558","volume":"37","author":"S.K. Thomason","year":"1972","unstructured":"Thomason S.K.: \u2018Semantic Analysis of Tense Logic\u2019. Journal of Symbolic Logic 37, 150\u2013158 (1972)","journal-title":"Journal of Symbolic Logic"},{"key":"9350_CR52","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1007\/BF00370284","volume":"47","author":"M. Tokarz","year":"1988","unstructured":"Tokarz M.: \u2018Synonymy in Sentential Languages: a Pragmatic View\u2019. Studia Logica 47, 93\u201398 (1988)","journal-title":"Studia Logica"},{"key":"9350_CR53","unstructured":"Tokarz, M., Elementy Pragmatyki Logicznej, PWN, Warszawa 1993."},{"key":"9350_CR54","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1007\/BF00935603","volume":"49","author":"J. Wole\u0144ski","year":"1990","unstructured":"Wole\u0144ski J.: \u2018Deontic Logic and Possible Worlds Semantics: a historical sketch\u2019. Studia Logica 49, 273\u2013282 (1990)","journal-title":"Studia Logica"},{"key":"9350_CR55","unstructured":"Wolniewicz, B., Ontologia sytuacji, PWN, Warszawa 1985."},{"key":"9350_CR56","first-page":"333","volume":"6","author":"R. W\u00f3jcicki","year":"1969","unstructured":"W\u00f3jcicki R.: \u2018Logical Matrices Strongly Adequate for Structural Sentential Calculi\u2019, Bulletin de l\u2019Academie Polonaise des Sciences. Serie des Sciences math, astr, et phys. 6, 333\u2013335 (1969)","journal-title":"Serie des Sciences math, astr, et phys."},{"issue":"4","key":"9350_CR57","first-page":"170","volume":"8","author":"R. W\u00f3jcicki","year":"1979","unstructured":"W\u00f3jcicki R.: \u2018Referential Matrix Semantics for Propositional Calculi\u2019. Bulletin of the Section of Logic 8(4), 170\u2013176 (1979)","journal-title":"Bulletin of the Section of Logic"},{"issue":"2","key":"9350_CR58","first-page":"93","volume":"9","author":"R. W\u00f3jcicki","year":"1980","unstructured":"W\u00f3jcicki R.: \u2018More about Referential Matrices\u2019. Bulletin of the Section of Logic 9(2), 93\u201396 (1980)","journal-title":"Bulletin of the Section of Logic"},{"key":"9350_CR59","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1007\/BF00370505","volume":"43","author":"R. W\u00f3jcicki","year":"1984","unstructured":"W\u00f3jcicki R.: \u2018Suszko\u2019s Situational Semantics\u2019. Studia Logica 43, 323\u2013340 (1984)","journal-title":"Studia Logica"},{"key":"9350_CR60","unstructured":"W\u00f3jcicki, R., Lectures on Propositional Calculi, Ossolineum, Wroc\u0142aw 1984"},{"key":"9350_CR61","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.: Theory of Logical Calculi. Kluwer, Dordrecht (1988)"},{"key":"9350_CR62","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1023\/A:1023360709757","volume":"73","author":"R. W\u00f3jcicki","year":"2003","unstructured":"W\u00f3jcicki R.: \u2018A Logic is Referential iff it is Selfextensional\u2019. Studia Logica 73, 323\u2013335 (2003)","journal-title":"Studia Logica"}],"container-title":["Studia Logica"],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-011-9350-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-011-9350-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-011-9350-2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,10]],"date-time":"2024-04-10T13:17:05Z","timestamp":1712755025000},"score":0.0,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-011-9350-2"}},"issued":{"date-parts":[[2011,8,25]]},"references-count":62,"journal-issue":{"issue":"1-3","published-print":{"date-parts":[[2011,10]]}},"alternative-id":["9350"],"URL":"https:\/\/doi.org\/10.1007\/s11225-011-9350-2","ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"published":{"date-parts":[[2011,8,25]]}},{"indexed":{"date-parts":[[2022,3,29]],"date-time":"2022-03-29T11:25:34Z","timestamp":1648553134946},"reference-count":0,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2005,4,1]],"date-time":"2005-04-01T00:00:00Z","timestamp":1112313600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2005,4]]},"DOI":"10.1007\/s11225-005-3613-8","type":"journal-article","created":{"date-parts":[[2005,6,8]],"date-time":"2005-06-08T04:12:21Z","timestamp":1118203941000},"page":"409-410","source":"Crossref","is-referenced-by-count":0,"title":["Book Review: IGOR LAVROV, LARISA MAKSIMOVA, Problems in Set Theory, Mathematical Logic and the Theory of Algorithms, Edited by Giovanna Corsi, Kluwer Academic \/ Plenum Publishers, 2003, US$141.00, pp. xii + 282, ISBN 0-306-47712-2, hardbound."],"prefix":"10.1007","volume":"79","author":[{"given":"Elliott","family":"Mendelson","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","container-title":["Studia Logica"],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-005-3613-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-005-3613-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-005-3613-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T06:24:38Z","timestamp":1559370278000},"score":0.0,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-005-3613-8"}},"issued":{"date-parts":[[2005,4]]},"references-count":0,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2005,4]]}},"alternative-id":["3613"],"URL":"https:\/\/doi.org\/10.1007\/s11225-005-3613-8","ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"published":{"date-parts":[[2005,4]]}},{"indexed":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T18:09:31Z","timestamp":1649182171220},"reference-count":0,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1962,12,1]],"date-time":"1962-12-01T00:00:00Z","timestamp":-223603200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[1962,12]]},"DOI":"10.1007\/bf02317282","type":"journal-article","created":{"date-parts":[[2006,2,15]],"date-time":"2006-02-15T09:22:34Z","timestamp":1139995354000},"page":"209-211","source":"Crossref","is-referenced-by-count":2,"title":["Subiektywno\u015b\u0107 i niepowtarzalno\u015b\u0107 metody bezpo\u015bredniego do\u015bwiadczenia"],"prefix":"10.1007","volume":"13","author":[{"given":"Kazimierz","family":"Ajdukiewicz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","container-title":["Studia Logica"],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02317282.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02317282\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02317282","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,16]],"date-time":"2019-05-16T17:57:31Z","timestamp":1558029451000},"score":0.0,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02317282"}},"issued":{"date-parts":[[1962,12]]},"references-count":0,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1962,12]]}},"alternative-id":["BF02317282"],"URL":"https:\/\/doi.org\/10.1007\/bf02317282","ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"published":{"date-parts":[[1962,12]]}},{"indexed":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T15:46:55Z","timestamp":1649173615423},"reference-count":0,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[1994,1,1]],"date-time":"1994-01-01T00:00:00Z","timestamp":757382400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/bf01057644","type":"journal-article","created":{"date-parts":[[2005,1,28]],"date-time":"2005-01-28T09:25:56Z","timestamp":1106904356000},"page":"iii-iii","source":"Crossref","is-referenced-by-count":0,"title":["Editorial note"],"prefix":"10.1007","volume":"53","author":[{"given":"Ryszard","family":"W\ufffdjcicki","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","container-title":["Studia Logica"],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01057644.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01057644\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01057644","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,30]],"date-time":"2019-04-30T00:51:44Z","timestamp":1556585504000},"score":0.0,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01057644"}},"issued":{"date-parts":[[1994]]},"references-count":0,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1994]]}},"alternative-id":["BF01057644"],"URL":"https:\/\/doi.org\/10.1007\/bf01057644","ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"published":{"date-parts":[[1994]]}},{"indexed":{"date-parts":[[2022,4,1]],"date-time":"2022-04-01T12:12:57Z","timestamp":1648815177420},"reference-count":14,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1986,6,1]],"date-time":"1986-06-01T00:00:00Z","timestamp":517968000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[1986,6]]},"DOI":"10.1007\/bf00373272","type":"journal-article","created":{"date-parts":[[2004,11,4]],"date-time":"2004-11-04T15:59:19Z","timestamp":1099583959000},"page":"167-179","source":"Crossref","is-referenced-by-count":2,"title":["Q-ultrafilters and normal ultrafilters in B-algebras"],"prefix":"10.1007","volume":"45","author":[{"given":"Bronis?aw","family":"Tembrowski","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","doi-asserted-by":"crossref","first-page":"25","DOI":"10.4064\/cm-29-1-25-29","volume":"29","author":"S. L. Bloom","year":"1974","unstructured":"S. L. Bloom, On regular congruences, Colloquium Mathematicum 29 (1974) pp. 25?29.","journal-title":"Colloquium Mathematicum"},{"key":"CR2","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1007\/BF02124265","volume":"28","author":"S. L. Bloom","year":"1971","unstructured":"S. L. Bloom and R. Suszko, Semantics for the sentential calculus with identity, Studia Logica 28 (1971), pp. 77?81.","journal-title":"Studia Logica"},{"key":"CR3","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1305\/ndjfl\/1093890617","volume":"3","author":"S. L. Bloom","year":"1972","unstructured":"S. L. Bloom and R. Suszko, Investigations into the sentential calculus with identity, Notre Dame Journal of formal Logic 3 (1972), pp. 289?308.","journal-title":"Notre Dame Journal of formal Logic"},{"key":"CR4","first-page":"41","volume":"6","author":"R. I. Goldblatt","year":"1976","unstructured":"R. I. Goldblatt, Metamathematics of modal logic, Reports on Mathematical Logic 6 (1976), pp. 41?77.","journal-title":"Reports on Mathematical Logic"},{"key":"CR5","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2307\/20023279","volume":"72","author":"E. V. Huntington","year":"1937","unstructured":"E. V. Huntington, Postulates for assertion conjunction, negation and equality, Proceedings of the American Academy of Art and Sciences 72 (1937), pp. 1?44.","journal-title":"Proceedings of the American Academy of Art and Sciences"},{"key":"CR6","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1305\/ndjfl\/1093956424","volume":"1","author":"E. J. Lemmon","year":"1960","unstructured":"E. J. Lemmon, An extension algebra and the modal system T. Notre Dame Journal of Formal Logic 1 (1960), pp. 3?12.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"CR7","doi-asserted-by":"crossref","first-page":"141","DOI":"10.2307\/1969080","volume":"45","author":"J. McKinsey","year":"1944","unstructured":"J. McKinsey and A. Tarski, The algebra of topology, Annals of Mathematics 45 (1944), pp. 141?191.","journal-title":"Annals of Mathematics"},{"key":"CR8","volume-title":"The Mathematics of the Metamathematics","author":"H. Rasiowa","year":"1963","unstructured":"H. Rasiowa and R. Sikorski, The Mathematics of the Metamathematics, PWN Warsaw 1963."},{"key":"CR9","unstructured":"R. Sikorski, Boolean Algebras, Berlin-G\ufffdttingen-Heiderberg-New York 1964."},{"key":"CR10","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1007\/BF02282541","volume":"27","author":"R. Suszko","year":"1971","unstructured":"R. Suszko, Identity connective and modality, Studia Logica 27 (1971), pp. 7?39.","journal-title":"Studia Logica"},{"key":"CR11","unstructured":"R. Suszko, Abolition of the Fregean axiom, Lecture Notes in Mathematics 453, Springer-Verlag (1975), pp. 169?239."},{"key":"CR12","first-page":"136","volume":"4","author":"R. Suszko","year":"1975","unstructured":"R. Suszko, A note on the least Boolean theory in SCI, Bulletin of the Section of Logic 4 (1975), pp. 136?137.","journal-title":"Bulletin of the Section of Logic"},{"key":"CR13","doi-asserted-by":"crossref","first-page":"19","DOI":"10.4064\/cm-29-1-19-23","volume":"29","author":"R. Suszko","year":"1974","unstructured":"R. Suszko, Equational logic and theories in sentential languages, Colloquium Mathematicum 29 (1974), pp. 19?23.","journal-title":"Colloquium Mathematicum"},{"key":"CR14","doi-asserted-by":"crossref","first-page":"389","DOI":"10.1007\/BF01371628","volume":"4","author":"B. Tembrowski","year":"1983","unstructured":"B. Tembrowski, The theory of Boolean algebras with an additional binary operation, Studia Logica 4 (1983), pp. 389?406.","journal-title":"Studia Logica"}],"container-title":["Studia Logica"],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00373272.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00373272\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00373272","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,9]],"date-time":"2019-04-09T01:45:09Z","timestamp":1554774309000},"score":0.0,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00373272"}},"issued":{"date-parts":[[1986,6]]},"references-count":14,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1986,6]]}},"alternative-id":["BF00373272"],"URL":"https:\/\/doi.org\/10.1007\/bf00373272","ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"published":{"date-parts":[[1986,6]]}},{"indexed":{"date-parts":[[2025,1,9]],"date-time":"2025-01-09T01:10:18Z","timestamp":1736385018305,"version":"3.32.0"},"reference-count":39,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2006,4,1]],"date-time":"2006-04-01T00:00:00Z","timestamp":1143849600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2006,4]]},"DOI":"10.1007\/s11225-006-8104-z","type":"journal-article","created":{"date-parts":[[2006,5,18]],"date-time":"2006-05-18T10:22:01Z","timestamp":1147947721000},"page":"379-400","source":"Crossref","is-referenced-by-count":5,"title":["Quantification over Sets of Possible Worlds in Branching-Time Semantics"],"prefix":"10.1007","volume":"82","author":[{"given":"Alberto","family":"Zanardo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"8104_CR1","volume-title":"\u2018Actual futures in peircean branching-time logic\u2019, Vossiuspers, page \/contribs\/zanardo\/","author":"B. Barcellan","year":"1999","unstructured":"Barcellan, B. and A. Zanardo \u2018Actual futures in peircean branching-time logic\u2019, Vossiuspers, page \/contribs\/zanardo\/, Amsterdam University Press, Amsterdam, 1999. ISBN 90 5629 104 1."},{"key":"8104_CR2","doi-asserted-by":"crossref","unstructured":"Bauer, S., I. Hodkinson, F. Wolter, and M. Zakharyaschev, \u2018On non-local propositional and local one-variable quantified CTL*\u2019, in M Fisher and A Artale, (eds.), Proc. 9th Internat. symposium on temporal representation and reasoning (TIME-2002), IEEE Inc, 2002, pp. 2\u20139.","DOI":"10.1109\/TIME.2002.1027466"},{"key":"8104_CR3","doi-asserted-by":"crossref","unstructured":"Belnap, N., M. Perloff, and M. Xu, Facing the Future. Agents and Choices in Our Indeterminst World, Oxford University Press, 2001.","DOI":"10.1093\/oso\/9780195138788.001.0001"},{"key":"8104_CR4","doi-asserted-by":"crossref","unstructured":"van Benthem, J.\u2018Temporal Logic\u2019, in D. Gabbay, C. Hogger, and J. Robinson, (eds.), Handbook of Logic in Artificial Intelligence and Logic Programming, vol. 4, Oxford University Press, 1995, pp. 241\u2013350.","DOI":"10.1093\/oso\/9780198537915.003.0005"},{"key":"8104_CR5","first-page":"203","volume-title":"Arrow Logic and Multi-Modal Logic, Studies in Logic, Language and Information","author":"J. van Benthem","year":"1996","unstructured":"van Benthem, J.\u2018Content versus wrapping: an essay in semantic complexity\u2019, in M. Marx, L. P\u00f3los, and M. Masuch, (eds.), Arrow Logic and Multi-Modal Logic, Studies in Logic, Language and Information, CSLI Publications, Stanford, 1996, pp. 203\u2013 219."},{"issue":"1","key":"8104_CR6","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1093\/jigpal\/7.1.7","volume":"7","author":"J. van Benthem","year":"1999","unstructured":"van Benthem, J.\u2018Temporal patterns and modal structure\u2019, Logic J. of the IGPL, 7(1):7\u201326, 1999. Special issue on Tempora Logic.","journal-title":"Logic J. of the IGPL"},{"key":"8104_CR7","doi-asserted-by":"crossref","unstructured":"Bra\u00fcner, T., P. Hasle, and P. \u00d8hrstr\u00f8m, \u2018Ockhamistic logics and true futures of counterfactual moments\u2019, in Proceedings of Fifth International Workshop on Temporal Representation and Reasoning (TIME 98), Sanibel Island, Florida, IEEE Press, 1998.","DOI":"10.1109\/TIME.1998.674142"},{"key":"8104_CR8","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1111\/j.1755-2567.1978.tb00175.x","volume":"44","author":"J. Burgess","year":"1978","unstructured":"Burgess, J., \u2018The unreal future\u2019, Theoria, 44:157\u2013179, 1978.","journal-title":"Theoria"},{"key":"8104_CR9","doi-asserted-by":"crossref","first-page":"556","DOI":"10.2307\/2273296","volume":"44","author":"J. Burgess","year":"1979","unstructured":"Burgess, J., \u2018Logic and time\u2019, J. of Symbolic Logic, 44:556\u2013582, 1979.","journal-title":"J. of Symbolic Logic"},{"key":"8104_CR10","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1007\/BF00370320","volume":"39","author":"J. Burgess","year":"1980","unstructured":"Burgess, J., \u2018Decidability for branching time\u2019, Studia Logica, 39:203\u2013218, 1980.","journal-title":"Studia Logica"},{"key":"8104_CR11","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511621192","volume-title":"Modal Logic: an introduction","author":"B. Chellas","year":"1980","unstructured":"Chellas, B. Modal Logic: an introduction, Cambridge University Press, Cambridge, 1980."},{"key":"8104_CR12","doi-asserted-by":"crossref","first-page":"244","DOI":"10.1145\/5397.5399","volume":"8","author":"E. E. Clark","year":"1986","unstructured":"Clark, E. E., and P. Sistla, \u2018Automatic verification of finite state concurrent systems using temporal logic specifications\u2019, ACM Transactions on Progamming Languages and Systems, 8:244\u2013263, 1986.","journal-title":"ACM Transactions on Progamming Languages and Systems"},{"issue":"1","key":"8104_CR13","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1145\/4904.4999","volume":"33","author":"E. Emerson","year":"1986","unstructured":"Emerson, E., and J. Halpern, \u2018\u201cSometimes\u201d and \u201cnot never\u201d revisited: on branch-ing versus linear time temporal logic\u2019, Journal ACM, 33(1):151\u2013178, 1986.","journal-title":"Journal ACM"},{"key":"8104_CR14","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. \u2018An irreflexivity lemma with applications to axiomatizations of conditions on tense frames\u2019, in U. M\u00f6nnich, (ed.), Aspects of Philosophical Logic, Reidel, Dordrecht, 1981, pp. 67\u201389."},{"key":"8104_CR15","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0013976","volume-title":"Temporal Logic: Mathematical Foundation and Computational Aspects, vol.I","author":"D. Gabbay","year":"1994","unstructured":"Gabbay, D., I. Hodkinson, and M. Reynolds, Temporal Logic: Mathematical Foundation and Computational Aspects, vol.I. Oxford University Press, Oxford, 1994."},{"issue":"3","key":"8104_CR16","doi-asserted-by":"crossref","first-page":"668","DOI":"10.2307\/2274321","volume":"50","author":"Y. Gurevich","year":"1985","unstructured":"Gurevich, Y. and S. Shelah, \u2018The decision problem for branching time logic\u2019, J. of Symbolic Logic, 50(3):668\u2013681, 1985.","journal-title":"J. of Symbolic Logic"},{"key":"8104_CR17","doi-asserted-by":"crossref","first-page":"81","DOI":"10.2307\/2266967","volume":"15","author":"L. Henkin","year":"1950","unstructured":"Henkin, L., \u2018Completeness in the theory of types\u2019, Journal of Symbolic Logic, 15:81\u2013 91, 1950.","journal-title":"Journal of Symbolic Logic"},{"key":"8104_CR18","doi-asserted-by":"crossref","unstructured":"Hodkinson, I., F. Wolter, and M. Zakharyaschev, \u2018Decidable and undecidable fragments of first-order branching temporal logics\u2019, in Proceedings of the IEEE Symposium on Logic in Computer Science (LICS), IEEE Computer Science Press, 2002.","DOI":"10.1109\/LICS.2002.1029847"},{"key":"8104_CR19","doi-asserted-by":"crossref","first-page":"236","DOI":"10.1006\/inco.1999.2817","volume":"156","author":"F. Laroussinie","year":"2000","unstructured":"Laroussinie, F. and Ph. Schnoebelen, \u2018Specification in CTL+past for verification in CTL\u2019, Information and Computation, 156:236\u2013263, 2000.","journal-title":"Information and Computation"},{"key":"8104_CR20","doi-asserted-by":"crossref","DOI":"10.1007\/978-0-585-37463-5","volume-title":"Temporal Logic: From Ancient Ideas to Arti-ficial Intelligence, Studies in Linguistic and Philosophy","author":"P. \u00d8hrstr\u00f8m","year":"1995","unstructured":"\u00d8hrstr\u00f8m, P., and P. F. V. Hasle, Temporal Logic: From Ancient Ideas to Arti-ficial Intelligence, Studies in Linguistic and Philosophy, Reidel, Dordrecht, 1995."},{"key":"8104_CR21","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., Past, Present and Future, Clarendon, Oxford, 1967."},{"key":"8104_CR22","first-page":"1","volume":"141","author":"M. Rabin","year":"1966","unstructured":"Rabin, M., \u2018Decidability of second order theories and automata on infinite trees\u2019, Transaction of the American Mathematical Society, 141:1\u201335, 1966.","journal-title":"Transaction of the American Mathematical Society"},{"key":"8104_CR23","unstructured":"Reynolds, M., \u2018An axiomatization of PCTL*\u2019, Information and Computation. To appear."},{"issue":"3","key":"8104_CR24","doi-asserted-by":"crossref","first-page":"1011","DOI":"10.2307\/2695091","volume":"66","author":"M. Reynolds","year":"2001","unstructured":"Reynolds, M., \u2018An axiomatization of full computation tree logic\u2019, J. of Symbolic Logic, 66(3):1011\u20131057, 2001.","journal-title":"J. of Symbolic Logic"},{"issue":"4","key":"8104_CR25","doi-asserted-by":"crossref","first-page":"679","DOI":"10.1093\/logcom\/12.4.679","volume":"12","author":"M. Reynolds","year":"2002","unstructured":"Reynolds, M., \u2018Axioms for branching-time\u2019, J. of Logic and Computation, 12(4):679\u2013697, 2002.","journal-title":"J. of Logic and Computation"},{"key":"8104_CR26","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1023\/B:STUD.0000009560.90259.de","volume":"75","author":"M. Sabbadin","year":"2003","unstructured":"Sabbadin, M., and A. Zanardo, \u2018Topological aspects of branching-time semantics\u2019, Studia Logica, 75:271\u2013286, 2003.","journal-title":"Studia Logica"},{"key":"8104_CR27","unstructured":"Segerberg, K., An Essay in Classical Modal Logic. Filosofiska Studier 13. University of Uppsala, 1971."},{"key":"8104_CR28","unstructured":"Stirling, C., \u2018Modal and temporal logics\u2019, in S. Abramsky, D. Gabbay, and T. Maibaum, (eds.), Handbook of Logic in Computer Science, Oxford University Press, 1991."},{"key":"8104_CR29","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1007\/978-94-009-6259-0_3","volume-title":"The Handbook of Philosophical Logic","author":"R. Thomason","year":"1984","unstructured":"Thomason, R., \u2018Combination of tense and modality\u2019, in D. Gabbay and F. Guenthner, (eds.), The Handbook of Philosophical Logic, volume II, chapter 3, Reidel, Dordrecht, 1984, pp. 135\u2013165."},{"key":"8104_CR30","doi-asserted-by":"crossref","first-page":"371","DOI":"10.1023\/A:1004359325754","volume":"28","author":"S. W\u00f6lfl","year":"1999","unstructured":"W\u00f6lfl, S., \u2018Combinations of tense and modality for predicate logic\u2019, J. of Philosophical Logic, 28:371\u2013398, 1999.","journal-title":"J. of Philosophical Logic"},{"key":"8104_CR31","volume-title":"Vollst\u00e4ndigkeitsresultate f\u00fcr pr\u00e4dikatenlogische Sprachen. Logische Philosophie: 5","author":"S. W\u00f6lfl","year":"1999","unstructured":"W\u00f6lfl, S., Kombinierte Zeit und Modallogik: Vollst\u00e4ndigkeitsresultate f\u00fcr pr\u00e4dikatenlogische Sprachen. Logische Philosophie: 5. Logos Verlag, Berlin, 1999."},{"key":"8104_CR32","doi-asserted-by":"crossref","first-page":"387","DOI":"10.1023\/A:1020163602542","volume":"31","author":"S. W\u00f6lfl","year":"2002","unstructured":"W\u00f6lfl, S., \u2018Propositional Q-logic\u2019, J. of Philosophical Logic, 31:387\u2013414, 2002.","journal-title":"J. of Philosophical Logic"},{"key":"8104_CR33","first-page":"234","volume-title":"Proc. 10th European Conference on Artificial Intelligence (ECA192)","author":"M. Wooldridge","year":"1992","unstructured":"Wooldridge, M., and M. Fisher, \u2018A first-order branching time logic of multiagent systems\u2019, in B. Neumann, (ed.), Proc. 10th European Conference on Artificial Intelligence (ECA192), John Wiley and Sons, Chichester, 1992, pp. 234\u2013238."},{"key":"8104_CR34","doi-asserted-by":"crossref","first-page":"447","DOI":"10.1007\/BF00649485","volume":"14","author":"A. Zanardo","year":"1985","unstructured":"Zanardo, A., \u2018A finite axiomatization of the set of strongly valid ockhamist formulas\u2019, J. of Philosophical Logic, 14:447\u2013468, 1985.","journal-title":"J. of Philosophical Logic"},{"issue":"2","key":"8104_CR35","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1007\/BF00935598","volume":"49","author":"A. Zanardo","year":"1990","unstructured":"Zanardo, A., \u2018Axiomatization of \u2018Peircean\u2019 Branching-Time Logic\u2019, Studia Logica, 49(2):183\u2013195, 1990.","journal-title":"Studia Logica"},{"issue":"1","key":"8104_CR36","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2307\/2275595","volume":"61","author":"A. Zanardo","year":"1996","unstructured":"Zanardo, A., \u2018Branching-time logic with quantification over branches: the point of view of modal logic\u2019, J. of Symbolic Logic, 61(1):1\u201339, 1996.","journal-title":"J. of Symbolic Logic"},{"key":"8104_CR37","unstructured":"Zanardo, A., \u2018Branching-time as a relative closeness relation among histories\u2019, in R. Asatiani, K. Balogh, G. Chikoidze, P. Dekker, and D. de Jongh, (eds.), Proceedings of the Fifth Tbilisi Symposium on Language, Logic and Computation, October 6\u201310, 2003, ILLC, University of Amsterdam, CLLS, Tbilisi State University, 2004, pp. 11\u201318."},{"key":"8104_CR38","doi-asserted-by":"crossref","unstructured":"Zanardo, A., \u2018Moment\/History Duality in Prior\u2019s Logics of Branching-Time\u2019, in T. Bra\u00fcner, P. Hasle, and P. \u00d8hrstr\u00f8m, (eds.), The logic of Time and Modality. To appear in Synthese.","DOI":"10.1007\/s11229-005-5519-4"},{"issue":"3","key":"8104_CR39","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 J. Carmo, \u2018Ockhamist computational logic: Past-sensitive necessitation in CTL*\u2019, J. of Logic and Computation, 3(3):249\u2013268, 1993.","journal-title":"J. of Logic and Computation"}],"container-title":["Studia Logica"],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-006-8104-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-006-8104-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-006-8104-z","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,9]],"date-time":"2025-01-09T00:30:38Z","timestamp":1736382638000},"score":0.0,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-006-8104-z"}},"issued":{"date-parts":[[2006,4]]},"references-count":39,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2006,4]]}},"alternative-id":["8104"],"URL":"https:\/\/doi.org\/10.1007\/s11225-006-8104-z","ISSN":["0039-3215","1572-8730"],"issn-type":[{"type":"print","value":"0039-3215"},{"type":"electronic","value":"1572-8730"}],"published":{"date-parts":[[2006,4]]}},{"indexed":{"date-parts":[[2022,4,1]],"date-time":"2022-04-01T22:54:08Z","timestamp":1648853648557},"reference-count":11,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1971,12,1]],"date-time":"1971-12-01T00:00:00Z","timestamp":60393600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[1971,12]]},"DOI":"10.1007\/bf02124283","type":"journal-article","created":{"date-parts":[[2005,9,15]],"date-time":"2005-09-15T12:05:46Z","timestamp":1126785946000},"page":"161-181","source":"Crossref","is-referenced-by-count":0,"title":["Recenzje"],"prefix":"10.1007","volume":"28","author":[{"given":"Barbara","family":"Stanosz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Leszek","family":"Nowak","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Boguslaw","family":"Iwanu\u015b","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jerzy","family":"Kmita","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marek","family":"Tokarz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Witold","family":"Marciszewski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF02124283_CR1","first-page":"25","volume":"3","author":"J. Kotarbi\u0144sk\u0105","year":"1964","unstructured":"Termin\u00f3w tych u\u017cywam za J. Kotarbi\u0144sk\u0105:Sp\u00f3r o granice stosowalno\u015bci metod logicznych, Studia Filozoficzne 1964, nr 3, s. 25.","journal-title":"Studia Filozoficzne"},{"key":"BF02124283_CR2","unstructured":"Por. prace cytowana w przypisie 1."},{"key":"BF02124283_CR3","unstructured":"K. R. Popper:The Logic of Scientific Discovery, London 1959, s. 378."},{"key":"BF02124283_CR4","unstructured":"I. Nowak:O postawach fizyk\u00f3w wobec filozofii, Studia Metodologiczne, t. VIII (1971)."},{"key":"BF02124283_CR5","unstructured":"N. Bohr:Moje dyskusje z Einsteinem, w: ten\u017ce:Fizyka atomowa a wiedza ludzka, Warszawa 1961, s. 53 i in."},{"key":"BF02124283_CR6","doi-asserted-by":"crossref","unstructured":"G. H. von Wright:A New System of Modal Logic, w: ten\u017ce:Logical Studies, London 1957, s. 89 i n.","DOI":"10.4324\/9781315823027-6"},{"key":"BF02124283_CR7","unstructured":"K. R. Popper: ibidem,A New System of Modal Logic, w: ten\u017ce:Logical Studies, London 1957, s. 396 i n."},{"key":"BF02124283_CR8","first-page":"269","volume":"2","author":"J. \u0142o\u015b","year":"1947","unstructured":"J. \u0142o\u015b:Podstawy analizy metodologicznej kanon\u00f3w Milla, Annales Universitatis Mariae Curie-Sk\u0142odowska 2 (1947), s. 269 i n.","journal-title":"Annales Universitatis Mariae Curie-Sk\u0142odowska"},{"key":"BF02124283_CR9","first-page":"59","volume":"17","author":"J. \u0141o\u015b","year":"1948","unstructured":"J. \u0141o\u015b:Logiki wielowarto\u015bciowe a formalizacja funkcji intensjonalnych, Kwartalnik Filozoficzny, t. 17, 1948, s. 59 i n.","journal-title":"Kwartalnik Filozoficzny"},{"key":"#cr-split#-BF02124283_CR10.1","unstructured":"Zob. tego autora:Towards a Theory of Inductive Generalizaton w:Proceedings of the 1964International Congress for Logic, Methodology and Philosophy of Science. Ed. Y. Bar-Hillel. Amsterdam 1965;On a Combined System of Inductive Logic. \u201cActa Philosophia Fennica\u201d fasc. 18 (1965);"},{"key":"#cr-split#-BF02124283_CR10.2","unstructured":"Induction by Enumeration and Induction by Elimination w: The Problem of Inductive Logic. Amsterdam 1968;Semantic Information and Inductive Logic (wsp\u00f3lnie z Juhani Pietarienen) w:Aspects of Inductive Logic. Amsterdam 1966."}],"container-title":["Studia Logica"],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02124283.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02124283\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02124283","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,9]],"date-time":"2020-04-09T14:03:36Z","timestamp":1586441016000},"score":0.0,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02124283"}},"issued":{"date-parts":[[1971,12]]},"references-count":11,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1971,12]]}},"alternative-id":["BF02124283"],"URL":"https:\/\/doi.org\/10.1007\/bf02124283","ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"published":{"date-parts":[[1971,12]]}},{"indexed":{"date-parts":[[2025,8,24]],"date-time":"2025-08-24T01:42:44Z","timestamp":1755999764717,"version":"3.37.3"},"reference-count":28,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2020,6,24]],"date-time":"2020-06-24T00:00:00Z","timestamp":1592956800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,6,24]],"date-time":"2020-06-24T00:00:00Z","timestamp":1592956800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"funder":[{"name":"Takenaka-Ikueikai"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2021,4]]},"DOI":"10.1007\/s11225-020-09911-4","type":"journal-article","created":{"date-parts":[[2020,6,24]],"date-time":"2020-06-24T01:02:37Z","timestamp":1592960557000},"page":"397-421","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Correspondence, Canonicity, and Model Theory for Monotonic Modal Logics"],"prefix":"10.1007","volume":"109","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-1963-0574","authenticated-orcid":false,"given":"Kentar\u00f4","family":"Yamamoto","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,6,24]]},"reference":[{"key":"9911_CR1","unstructured":"Alur, R., T. Henzinger, and O. Kupferman, Alternating-time temporal logic, in Journal of the ACM, IEEE Computer Society Press, 1997, pp. 100\u2013109."},{"key":"9911_CR2","doi-asserted-by":"crossref","unstructured":"Blackburn, P., M.\u00a0de Rijke, and Y. Venema, Modal Logic, Cambridge Tracts in Theoretical Computer Science, Cambridge University Press, New York, NY, USA, 2001.","DOI":"10.1017\/CBO9781107050884"},{"key":"9911_CR3","doi-asserted-by":"crossref","unstructured":"Chang, C.\u00a0C., Modal model theory, in A.\u00a0R.\u00a0D. Mathias, and H.\u00a0Rogers, (eds.), Cambridge Summer School in Mathematical Logic, New York: Springer Verlag, 1973, pp. 599\u2013617.","DOI":"10.1007\/BFb0066792"},{"key":"9911_CR4","doi-asserted-by":"crossref","unstructured":"Chellas, B.\u00a0F., Modal Logic: An Introduction, Cambridge University Press, 1980.","DOI":"10.1017\/CBO9780511621192"},{"issue":"2","key":"9911_CR5","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1007\/BF02770513","volume":"48","author":"Kosta Do\u0161en","year":"1989","unstructured":"Do\u0161en, K., Duality between modal algebras and neighbourhood frames, Studia Logica 48(2): 219\u2013234, 1989.","journal-title":"Studia Logica"},{"key":"9911_CR6","doi-asserted-by":"crossref","unstructured":"Fine, K., Some connections between elementary and modal logic, in Proceedings of the Third Scandinavian Logic Symposium, 1975.","DOI":"10.1016\/S0049-237X(08)70723-7"},{"key":"9911_CR7","volume-title":"and Margin Ziegler","author":"J\u00f6rg Flum","year":"1980","unstructured":"Flum, J., and M. Ziegler, Topological Model Theory, Springer-Verlag, 1980."},{"issue":"1","key":"9911_CR8","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1006\/jabr.2000.8622","volume":"238","author":"Mai Gehrke","year":"2001","unstructured":"Gehrke, M., and J. Harding, Bounded lattice expansions, Journal of Algebra 238(1): 345\u2013371, 2001.","journal-title":"Journal of Algebra"},{"issue":"2","key":"9911_CR9","doi-asserted-by":"publisher","first-page":"573","DOI":"10.1090\/S0002-9947-05-03816-X","volume":"358","author":"Mai Gehrke","year":"2006","unstructured":"Gehrke, M., J. Harding, and Y. Venema, Macneille completions and canonical extensions, Transactions of the American Mathematical Society 358(2): 573\u2013590, 2006.","journal-title":"Transactions of the American Mathematical Society"},{"key":"9911_CR10","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1002\/malq.19760220104","volume":"22","author":"Martin Gerson","year":"1976","unstructured":"Gerson, M., A neighbourhood frame for T with no equivalent relational frame, Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik 22: 29\u201334, 1976.","journal-title":"Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik"},{"issue":"4","key":"9911_CR11","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1007\/BF02121664","volume":"34","author":"Martin Sebastian Gerson","year":"1975","unstructured":"Gerson, M.\u00a0S., An extension of S4 complete for the neighbourhood semantics but incomplete for the relational semantics, Studia Logica: An International Journal for Symbolic Logic 34(4): 333\u2013342, 1975.","journal-title":"Studia Logica: An International Journal for Symbolic Logic"},{"key":"9911_CR12","doi-asserted-by":"crossref","unstructured":"Goldblatt, R.\u00a0I., and S.\u00a0K. Thomason, Axiomatic classes in propositional modal logic, in J.\u00a0N. Crossley, (ed.), Algebra and Logic, Springer, Berlin, Heidelberg, 1975, pp. 163\u2013173.","DOI":"10.1007\/BFb0062855"},{"key":"9911_CR13","unstructured":"Hansen, H.\u00a0H., Monotonic Modal Logics, Master\u2019s thesis, University of Amsterdam, 2003."},{"key":"9911_CR14","doi-asserted-by":"crossref","unstructured":"Hansen, H.\u00a0H., C. Kupke, and E. Pacuit, Neighbourhood structures: Bisimilarity and basic model theory, Logical Methods in Computer Science, Volume 5, Issue 2 2009.","DOI":"10.2168\/LMCS-5(2:2)2009"},{"key":"9911_CR15","doi-asserted-by":"crossref","unstructured":"Kurz, A., and J. Rosick\u1ef3, The Goldblatt-Thomason theorem for coalgebras, in International Conference on Algebra and Coalgebra in Computer Science, Springer, 2007, pp. 342\u2013355.","DOI":"10.1007\/978-3-540-73859-6_23"},{"key":"9911_CR16","unstructured":"Litak, T., D. Pattinson, K. Sano, and L. Schr\u00f6der, Model Theory and Proof Theory of Coalgebraic Predicate Logic, Logical Methods in Computer Science, 14(1) 2018."},{"key":"9911_CR17","volume-title":"An Introduction","author":"David Marker","year":"2002","unstructured":"Marker, D., Model Theory: An Introduction, Springer-Verlag New York, 2002."},{"key":"9911_CR18","doi-asserted-by":"publisher","unstructured":"Pacuit, E., Neighborhood Semantics for Modal Logic, Short Textbooks in Logic, Springer International Publishing, Cham, 2017. https:\/\/doi.org\/10.1007\/978-3-319-67149-9.","DOI":"10.1007\/978-3-319-67149-9."},{"issue":"3","key":"9911_CR19","first-page":"775","volume":"27","author":"Alessandra Palmigiano","year":"2016","unstructured":"Palmigiano, A., S. Sourabh, and Z. Zhao, Sahlqvist theory for impossible worlds, Journal of Logic and Computation 27(3): 775\u2013816, 2016.","journal-title":"Journal of Logic and Computation"},{"key":"9911_CR20","doi-asserted-by":"crossref","unstructured":"Parikh, R., The logic of games and its applications, in Annals of Discrete Mathematics, Elsevier, 1985, pp. 111\u2013140.","DOI":"10.1016\/S0304-0208(08)73078-0"},{"key":"9911_CR21","unstructured":"Pauly, M., Logic for Social Software, Ph.D. thesis, University of Amsterdam, 2001."},{"issue":"3","key":"9911_CR22","first-page":"749","volume":"27","author":"Lutz Schr\u00f6der","year":"2017","unstructured":"Schr\u00f6der, L., D. Pattinson, and T. Litak, A van Benthem\/Rosen theorem for coalgebraic predicate logic, Journal of Logic and Computation 27(3): 749\u2013773, 2017.","journal-title":"Journal of Logic and Computation"},{"key":"9911_CR23","doi-asserted-by":"crossref","unstructured":"ten Cate, B., D. Gabelaia, and D. Sustretov, Modal languages for topology: Expressivity and definability, Annals of Pure and Applied Logic 159(1): 146\u2013170, 2009.","DOI":"10.1016\/j.apal.2008.11.001"},{"key":"9911_CR24","unstructured":"van Benthem, J. F. A.\u00a0K., Modal Logic and Classical Logic, Distributed in the U.S.A. By Humanities Press, 1983."},{"key":"9911_CR25","unstructured":"van Benthem, J., Universal algebra and model theory: the DNA of modal logic, in Logic in Hungary, Janos Bolyai Mathematical Society, 2005."},{"key":"9911_CR26","doi-asserted-by":"crossref","unstructured":"van Benthem, J., and G. Bezhanishvili, Modal Logics of Space, Springer Netherlands, Dordrecht, 2007, pp. 217\u2013298.","DOI":"10.1007\/978-1-4020-5587-4_5"},{"key":"9911_CR27","doi-asserted-by":"crossref","unstructured":"Venema, Y., Algebras and coalgebras, in Handbook of Modal Logic, chap.\u00a06, Elsevier, 2007, pp. 331\u2013426.","DOI":"10.1016\/S1570-2464(07)80009-7"},{"key":"9911_CR28","doi-asserted-by":"crossref","unstructured":"Ziegler, M., Chapter xv: Topological model theory, in J.\u00a0Barwise, and S.\u00a0Feferman, (eds.), Model-Theoretic Logics, vol. Volume 8 of Perspectives in Mathematical Logic, chap.\u00a0XV, Springer-Verlag, New York, 1985, pp. 557\u2013577.","DOI":"10.1017\/9781316717158.022"}],"container-title":["Studia Logica"],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-020-09911-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11225-020-09911-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-020-09911-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,6,23]],"date-time":"2021-06-23T23:51:46Z","timestamp":1624492306000},"score":0.0,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11225-020-09911-4"}},"issued":{"date-parts":[[2020,6,24]]},"references-count":28,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2021,4]]}},"alternative-id":["9911"],"URL":"https:\/\/doi.org\/10.1007\/s11225-020-09911-4","ISSN":["0039-3215","1572-8730"],"issn-type":[{"type":"print","value":"0039-3215"},{"type":"electronic","value":"1572-8730"}],"published":{"date-parts":[[2020,6,24]]},"assertion":[{"value":"22 December 2018","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"24 June 2020","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]},{"indexed":{"date-parts":[[2022,4,4]],"date-time":"2022-04-04T06:22:21Z","timestamp":1649053341351},"reference-count":0,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2005,12,1]],"date-time":"2005-12-01T00:00:00Z","timestamp":1133395200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2005,12]]},"DOI":"10.1007\/s11225-005-4652-x","type":"journal-article","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T08:28:32Z","timestamp":1132734512000},"page":"425-427","source":"Crossref","is-referenced-by-count":0,"title":["Melvin Fitting, Types Tableaus and G\u00f6del's God"],"prefix":"10.1007","volume":"81","author":[{"given":"Roderic A.","family":"Girle","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","container-title":["Studia Logica"],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-005-4652-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-005-4652-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-005-4652-x","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T06:24:38Z","timestamp":1559370278000},"score":0.0,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-005-4652-x"}},"issued":{"date-parts":[[2005,12]]},"references-count":0,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2005,12]]}},"alternative-id":["4652"],"URL":"https:\/\/doi.org\/10.1007\/s11225-005-4652-x","ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"published":{"date-parts":[[2005,12]]}},{"indexed":{"date-parts":[[2025,8,15]],"date-time":"2025-08-15T01:22:10Z","timestamp":1755220930387,"version":"3.43.0"},"reference-count":5,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2003,12,1]],"date-time":"2003-12-01T00:00:00Z","timestamp":1070236800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2003,12,1]],"date-time":"2003-12-01T00:00:00Z","timestamp":1070236800000},"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":["Studia Logica"],"published-print":{"date-parts":[[2003,12]]},"DOI":"10.1023\/b:stud.0000009561.61962.5a","type":"journal-article","created":{"date-parts":[[2003,12,20]],"date-time":"2003-12-20T05:34:42Z","timestamp":1071898482000},"page":"287-304","source":"Crossref","is-referenced-by-count":3,"title":["The Logic of Multisets Continued: The Case of Disjunction"],"prefix":"10.1007","volume":"75","author":[{"given":"Athanassios","family":"Tzouvaras","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5257126_CR1","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","author":"J.-Y. Girard","year":"1987","unstructured":"Girard, J.-Y., \u2018Linear Logic\u2019, Theoret. Comput. Sci. 50 (1987), 1\u2013102.","journal-title":"Theoret. Comput. Sci."},{"key":"5257126_CR2","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1016\/0304-3975(93)90182-S","volume":"111","author":"R. Heckmann","year":"1993","unstructured":"Heckmann, R., \u2018Power domains and second-order predicates\u2019, Theoret. Comput. Sci. 111 (1993), 59\u201388.","journal-title":"Theoret. Comput. Sci."},{"key":"5257126_CR3","unstructured":"Troelstra, A. S., Lectures on Linear Logic, CSLI Lecture Notes No 29, Center for the Study of Language and Information, Stanford University, 1992."},{"key":"5257126_CR4","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1016\/S0304-3975(00)00009-8","volume":"258","author":"A. Tzouvaras","year":"2001","unstructured":"Tzouvaras, A., \u2018Objects and their lambda calculus\u2019, Theoret. Comput. Sci., 258 (2001), 209\u2013232.","journal-title":"Theoret. Comput. Sci."},{"key":"5257126_CR5","doi-asserted-by":"crossref","first-page":"901","DOI":"10.1093\/jigpal\/6.6.901","volume":"6","author":"A. Tzouvaras","year":"1998","unstructured":"Tzouvaras, A., \u2018The linear logic of multisets\u2019, Logic J. of the IGPL, 6 (1998), 901\u2013916.","journal-title":"Logic J. of the IGPL"}],"container-title":["Studia Logica"],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/B:STUD.0000009561.61962.5a.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/B:STUD.0000009561.61962.5a\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/B:STUD.0000009561.61962.5a.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,8]],"date-time":"2025-08-08T05:16:05Z","timestamp":1754630165000},"score":0.0,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/B:STUD.0000009561.61962.5a"}},"issued":{"date-parts":[[2003,12]]},"references-count":5,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2003,12]]}},"alternative-id":["5257126"],"URL":"https:\/\/doi.org\/10.1023\/b:stud.0000009561.61962.5a","ISSN":["0039-3215","1572-8730"],"issn-type":[{"type":"print","value":"0039-3215"},{"type":"electronic","value":"1572-8730"}],"published":{"date-parts":[[2003,12]]}}],"items-per-page":20,"query":{"start-index":0,"search-terms":null}}}