{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:03:32Z","timestamp":1725663812198},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540545071"},{"type":"electronic","value":"9783540384205"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-54507-7_4","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T22:57:05Z","timestamp":1330210625000},"page":"33-47","source":"Crossref","is-referenced-by-count":2,"title":["Relational proof systems for some AI logics"],"prefix":"10.1007","author":[{"given":"Eva","family":"Orlowska","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"key":"4_CR1","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1016\/0304-3975(85)90046-5","volume":"36","author":"L. Fari\u00f1as del Cerro","year":"1985","unstructured":"Fari\u00f1as del Cerro, L. and Orlowska, E. (1985) DAL-a logic for data analysis. Theoretical Computer Science 36, 251\u2013264.","journal-title":"Theoretical Computer Science"},{"key":"4_CR2","unstructured":"Goldblatt, R. (1987) Logics of time and computation. Center for the Study of Language and Information, Stanford."},{"volume-title":"Theoretical aspects of reasoning about knowledge","year":"1986","key":"4_CR3","unstructured":"Halpern, J. (ed) (1986) Theoretical aspects of reasoning about knowledge. Morgan Kaufmann, Los Altos, California."},{"key":"4_CR4","unstructured":"Hintikka,J. (1962) Knowledge and belief. Cornell University Press."},{"key":"4_CR5","first-page":"1","volume":"30","author":"W. Lenzen","year":"1978","unstructured":"Lenzen, W. (1978) Recent work in epistemic logic. Acta Philosophica Fennica 30, 1\u2013219.","journal-title":"Acta Philosophica Fennica"},{"key":"4_CR6","first-page":"465","volume-title":"Foundations of logic and linguistics. Problems and their solutions. Selected contributions to the 7th International Congress of Logic, Methodology and Philosophy of Science, Salzburg 1983","author":"E. Orlowska","year":"1983","unstructured":"Orlowska, E. (1983) Semantics of vague concepts. In: Dorn, G. and Weingartner, P. (eds) Foundations of logic and linguistics. Problems and their solutions. Selected contributions to the 7th International Congress of Logic, Methodology and Philosophy of Science, Salzburg 1983. Plenum Press, London-New York, 465\u2013482."},{"key":"4_CR7","first-page":"93","volume":"XLIV","author":"E. Orlowska","year":"1985","unstructured":"Orlowska, E. (1985) Logic of nondeterministic information. Studia Logica XLIV, 93\u2013102.","journal-title":"Studia Logica"},{"key":"4_CR8","doi-asserted-by":"crossref","first-page":"349","DOI":"10.1016\/0888-613X(88)90109-0","volume":"2","author":"E. Orlowska","year":"1988","unstructured":"Orlowska, E. (1988) Logical aspects of learning concepts. Journal of Approximate Reasoning 2, 349\u2013364.","journal-title":"Journal of Approximate Reasoning"},{"key":"4_CR9","doi-asserted-by":"crossref","first-page":"559","DOI":"10.1002\/malq.19890350612","volume":"35","author":"E. Orlowska","year":"1989","unstructured":"Orlowska, E. (1989) Logic for reasoning about knowledge. Zeitschrift fur Mathematische Logik und Grundlagen der Mathematik 35, 559\u2013572.","journal-title":"Zeitschrift fur Mathematische Logik und Grundlagen der Mathematik"},{"key":"4_CR10","volume-title":"Algebraic Logic","author":"E. Orlowska","year":"1991","unstructured":"Orlowska, E. (1991a) Relational interpretation of modal logics. In: Andreka, H., Monk, D. and Nemeti, I. (eds) Algebraic Logic. North Holland, Amsterdam, to appear."},{"key":"4_CR11","unstructured":"Orlowska,E. (1991b) Dynamic logic with program specifications and its relational proof system. Journal of Applied Non-Classical Logics, to appear."},{"key":"4_CR12","doi-asserted-by":"crossref","first-page":"205","DOI":"10.1016\/0306-4379(81)90023-5","volume":"6","author":"Z. Pawlak","year":"1981","unstructured":"Pawlak, Z. (1981) Information systems-theoretical foundations. Information Systems 6, 205\u2013218.","journal-title":"Information Systems"},{"key":"4_CR13","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. (1967) Past, present and future. Oxford University Press, Oxford."},{"key":"4_CR14","volume-title":"An essay in classical modal logic","author":"K. Segerberg","year":"1971","unstructured":"Segerberg, K. (1971) An essay in classical modal logic. University of Uppsala, Uppsala."},{"key":"4_CR15","unstructured":"Valiev,M.K. (1988) Interpretation of modal logics as epistemic logics (In Russian). Proceedings of the Conference Borzomi'88, Moscow, 76\u201377."},{"key":"4_CR16","volume-title":"Artificial Intelligence II, Methodology, Systems, Applications","author":"D. Vakarelov","year":"1987","unstructured":"Vakarelov, D. (1987) Abstract characterization of some knowledge representation systems and the logic NIL of nondeterministic information. In: Jorrand, Ph. and Sgurev, V. (eds) Artificial Intelligence II, Methodology, Systems, Applications. North Holland, Amsterdam."},{"key":"4_CR17","doi-asserted-by":"crossref","first-page":"257","DOI":"10.1007\/3-540-51237-3_21","volume":"363","author":"D. Vakarelov","year":"1989","unstructured":"Vakarelov, D. (1989) Modal logics for knowledge representation. Springer Lecture Notes in Computer Science 363, 257\u2013277.","journal-title":"Springer Lecture Notes in Computer Science"}],"container-title":["Lecture Notes in Computer Science","Fundamentals of Artificial Intelligence Research"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-54507-7_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:22:35Z","timestamp":1619572955000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-54507-7_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540545071","9783540384205"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-54507-7_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}