{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,29]],"date-time":"2025-09-29T11:49:24Z","timestamp":1759146564409},"reference-count":20,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2011,2,18]],"date-time":"2011-02-18T00:00:00Z","timestamp":1297987200000},"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,3]]},"DOI":"10.1007\/s11225-011-9304-8","type":"journal-article","created":{"date-parts":[[2011,2,17]],"date-time":"2011-02-17T04:45:39Z","timestamp":1297917939000},"page":"233-264","source":"Crossref","is-referenced-by-count":10,"title":["$${\\in_K}$$ : a Non-Fregean Logic of Explicit Knowledge"],"prefix":"10.1007","volume":"97","author":[{"given":"Steffen","family":"Lewitzka","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2011,2,18]]},"reference":[{"key":"9304_CR1","volume-title":"The Liar","author":"J. Barwise","year":"1987","unstructured":"Barwise J., Etchemendy J.: The Liar. Oxford University Press, New York, Oxford (1987)"},{"key":"9304_CR2","first-page":"43","volume":"102","author":"S.L. Bloom","year":"1973","unstructured":"Bloom S.L., Brown D.J.: \u2018Classical Abstract Logics\u2019. Dissertationes Mathematicae 102, 43\u201351 (1973)","journal-title":"Dissertationes Mathematicae"},{"key":"9304_CR3","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1305\/ndjfl\/1093890617","volume":"13","author":"S.L. Bloom","year":"1972","unstructured":"Bloom S.L., Suszko R.: \u2018Investigation into the Sentential Calculus with Identity\u2019. Notre Dame Journal of Formal Logic 13, 289\u2013308 (1972)","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"9304_CR4","first-page":"9","volume":"102","author":"D.J. Brown","year":"1973","unstructured":"Brown D.J., Suszko R.: \u2018Abstract Logics\u2019. Dissertationes Mathematicae 102, 9\u201342 (1973)","journal-title":"Dissertationes Mathematicae"},{"key":"9304_CR5","volume-title":"Reasoning about Knowledge","author":"R. Fagin","year":"2003","unstructured":"Fagin R., Halpern J.Y., Moses Y., Vardi M.Y.: Reasoning about Knowledge. MIT Press, Cambridge, Mass. (2003)"},{"key":"9304_CR6","first-page":"11","volume-title":"The Logica Yearbook 2004","author":"M. Fitting","year":"2005","unstructured":"Fitting M.: \u2018A Logic of Explicit Knowledge\u2019. In: Behounek, L., Bilkova, M. (eds) The Logica Yearbook 2004, pp. 11\u201322. Filosofia, Prague (2005)"},{"key":"9304_CR7","unstructured":"Halpern, J., and R. Pucella, \u2018Dealing with logical omniscience\u2019, DOI: 10.1145\/1324249.1324273 . TARK \u201907 Proceedings of the 11th Conference on Theoretical aspects of rationality and knowledge, ACM New York, NY, USA, 2007."},{"key":"9304_CR8","unstructured":"Lewitzka, S., \u2018 $${\\in_T\\,(\\Sigma)}$$ -Logik: Eine Erweiterung der Pr\u00e4dikatenlogik erster Stufe mit Selbstreferenz und totalemWahrheitspr\u00e4dikat\u2019, Diplomarbeit, Technische Universit\u00e4t Berlin, 1998."},{"key":"9304_CR9","doi-asserted-by":"crossref","first-page":"243","DOI":"10.1007\/s11787-007-0013-z","volume":"1","author":"S. Lewitzka","year":"2007","unstructured":"Lewitzka S.: \u2018Abstract Logics, Logic Maps and Logic Homomorphisms\u2019. Logica Universalis 1, 243\u2013276 (2007)","journal-title":"Logica Universalis"},{"key":"9304_CR10","unstructured":"Lewitzka, S., \u2018 $${\\in_4}$$ : A 4-valued truth theory and meta-logic\u2019, preprint, 2007."},{"key":"9304_CR11","doi-asserted-by":"crossref","first-page":"275","DOI":"10.1215\/00294527-2009-012","volume":"50","author":"S. Lewitzka","year":"2009","unstructured":"Lewitzka S.: \u2018 $${\\in_I}$$ : An intuitionistic logic without Fregean Axiom and with predicates for truth and falsity\u2019. Notre Dame Journal of Formal Logic 50, 275\u2013301 (2009)","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"9304_CR12","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1007\/s11787-009-0007-0","volume":"3","author":"S. Lewitzka","year":"2009","unstructured":"Lewitzka S., Brunner A.B.M.: \u2018Minimally generated abstract logics\u2019. Logica Universalis 3, 219\u2013241 (2009)","journal-title":"Logica Universalis"},{"key":"9304_CR13","unstructured":"Meyer, J. J. Ch., and W. van der Hoeck, Epistemic Logic for AI and Computer Science, Cambridge Tracts in Theoretical Computer Science 41, Cambridge University Press 1995."},{"key":"9304_CR14","unstructured":"Robering, K., \u2018Logics with Propositional Quantifiers and Propositional Identity\u2019, in S. Bab and K. Robering (eds.), Judgements and Propositions. Logical, Linguistic, and Cognitive Issues, Logische Philosophie, Bd. 21, Logos Verlag, Berlin, 2010."},{"key":"9304_CR15","unstructured":"Str\u00e4ter, W., \u2018 $${\\in_T}$$ Eine Logik erster Stufe mit Selbstreferenz und totalem Wahrheitspr\u00e4dikat\u2019, KIT-Report 98, Technische Universit\u00e4t Berlin, 1992."},{"key":"9304_CR16","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":"9304_CR17","doi-asserted-by":"crossref","unstructured":"Suszko, R., \u2018Abolition of the Fregean Axiom\u2019, in R. Parikh (ed.), Logic Colloquium, Lecture Notes in Mathematics 453:169\u2013239, Springer-Verlag, 1975.","DOI":"10.1007\/BFb0064874"},{"key":"9304_CR18","doi-asserted-by":"crossref","first-page":"373","DOI":"10.1007\/BF02120672","volume":"36","author":"R. Suszko","year":"1977","unstructured":"Suszko R.: \u2018The Fregean axiom and Polish mathematical logic in the 1920s\u2019. Studia Logica 36, 373\u2013380 (1977)","journal-title":"Studia Logica"},{"key":"9304_CR19","doi-asserted-by":"crossref","first-page":"523","DOI":"10.1007\/BF00370163","volume":"49","author":"H. Wansing","year":"1990","unstructured":"Wansing H.: \u2018A general possible worlds framework for reasoning about knowledge and belief\u2019. Studia Logica 49, 523\u2013539 (1990)","journal-title":"Studia Logica"},{"key":"9304_CR20","unstructured":"Zeitz, P., Parametrisierte $${\\in_T}$$ -Logik \u2013 eine Theorie der Erweiterung abstrakter Logiken um die Konzepte Wahrheit, Referenz und klassische Negation, Dissertation, Logos Verlag Berlin, 2000."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-011-9304-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-011-9304-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-011-9304-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,8]],"date-time":"2019-06-08T12:12:10Z","timestamp":1559995930000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-011-9304-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,2,18]]},"references-count":20,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2011,3]]}},"alternative-id":["9304"],"URL":"https:\/\/doi.org\/10.1007\/s11225-011-9304-8","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,2,18]]}}}