{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T06:41:31Z","timestamp":1725518491346},"publisher-location":"Dordrecht","reference-count":7,"publisher":"Springer Netherlands","isbn-type":[{"type":"print","value":"9781402088889"},{"type":"electronic","value":"9781402088896"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-1-4020-8889-6_9","type":"book-chapter","created":{"date-parts":[[2008,9,13]],"date-time":"2008-09-13T16:40:42Z","timestamp":1221324042000},"page":"79-86","source":"Crossref","is-referenced-by-count":1,"title":["\u20ac\u03bc-Logics \u2013 Propositional Logics with Self-Reference and Modalities"],"prefix":"10.1007","author":[{"given":"Se bastian","family":"Bab","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1_9","unstructured":"Bab, S.: \u2208\u00b5 -Logik - Eine Theorie propositionaler Logiken. Shaker Verlag (2007). Dissertation, Technische Universit \u00e4t Berlin, 2007"},{"key":"9_CR2_9","doi-asserted-by":"crossref","unstructured":"Bab, S., Mahr, B.: \u2208T -Integration of Logics. In: Formal Methods in Software and Systems Modeling, pp. 204-219. Springer (2005)","DOI":"10.1007\/978-3-540-31847-7_12"},{"key":"9_CR3_9","doi-asserted-by":"crossref","unstructured":"Kripke, S.: Outline of a theory of truth. The Journal of Philisopy 72 pp. 690-716 (nachgedruckt in [Mar84], Seiten 53-81) (1975)","DOI":"10.2307\/2024634"},{"key":"9_CR4_9","doi-asserted-by":"crossref","unstructured":"Mahr, B.: Applications of type theory. In: Proceedings of the International Joint Conference CAAP\/FASE on Theory and Practice of Software Development, pp. 343-355. Springer (1993)","DOI":"10.1007\/3-540-56610-4_75"},{"key":"9_CR5_9","unstructured":"Mahr, B., Str \u00e4ter, W., Umbach, C.: Fundamentals of a theory of types and declarations. Forschungsbericht, KIT-Report 82, Technische Universit \u00e4t Berlin (1990)"},{"key":"9_CR6_9","unstructured":"Str \u00e4ter, W.: \u2208T Eine Logik erster Stufe mit Selbstreferenz und totalem Wahrheitspr \u00e4dikat. Forschungsbericht, KIT-Report 98 (1992). Dissertation, Technische Universit \u00e4t Berlin"},{"key":"9_CR7_9","unstructured":"Zeitz, P.: Parametrisierte \u2208T -Logik: Eine Theorie der Erweiterung abstrakter Logiken um die Konzepte Wahrheit, Referenz und klassische Negation. Logos Verlag Berlin (2000). Dissertation, Technische Universit \u00e4t Berlin, 1999"}],"container-title":["Autonomous Systems \u2013 Self-Organization, Management, and Control"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4020-8889-6_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T22:24:28Z","timestamp":1605651868000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4020-8889-6_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9781402088889","9781402088896"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/978-1-4020-8889-6_9","relation":{},"subject":[],"published":{"date-parts":[[2008]]}}}