{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:36:53Z","timestamp":1725457013122},"publisher-location":"Berlin\/Heidelberg","reference-count":36,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540557458"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0031920","type":"book-chapter","created":{"date-parts":[[2005,12,11]],"date-time":"2005-12-11T06:11:55Z","timestamp":1134281515000},"page":"1-22","source":"Crossref","is-referenced-by-count":1,"title":["Algebraic aspects of the relational knowledge representation: Modal relation algebras"],"prefix":"10.1007","author":[{"given":"Ewa","family":"Orlowska","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"1_CR1","volume-title":"The unprovability of consistency","author":"G. Boolos","year":"1979","unstructured":"Boolos,G. (1979) The unprovability of consistency. Cambridge University Press, London-New York-Melbourne."},{"key":"1_CR2","doi-asserted-by":"crossref","first-page":"566","DOI":"10.2307\/2273296","volume":"44","author":"J.P. Burgess","year":"1979","unstructured":"Burgess,J.P. (1979) Logic and time. Journal of Symbolic Logic 44, 566\u2013581.","journal-title":"Journal of Symbolic Logic"},{"key":"1_CR3","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1016\/0304-3975(85)90046-5","volume":"36","author":"L. Fari\u0148as del Cerro","year":"1985","unstructured":"Fari\u0148as 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":"1_CR4","unstructured":"Gargov,G. (1986) Two completeness theorems for the logic for data analysis. ICS PAS Report 581, Warsaw."},{"volume-title":"Theoretical aspects of reasoning about knowledge","year":"1986","key":"1_CR5","unstructured":"Halpern,J. (ed) (1986) Theoretical aspects of reasoning about knowledge. Morgan Kaufmann, Los Altos, California."},{"key":"1_CR6","volume-title":"Lecture Notes in Computer Science 69","author":"D. Harel","year":"1979","unstructured":"Harel,D. (1979) First order dynamic logic. Lecture Notes in Computer Science 69, Springer, Berlin-Heidelberg-New York."},{"key":"1_CR7","volume-title":"Cylindric algebras, Part II","author":"L. Henkin","year":"1985","unstructured":"Henkin,L., Monk,J.D. and Tarski,A. (1985) Cylindric algebras, Part II. North Holland, Amsterdam."},{"key":"1_CR8","doi-asserted-by":"crossref","first-page":"51","DOI":"10.3233\/FI-1986-9104","volume":"IX","author":"C.A.R. Hoare","year":"1986","unstructured":"Hoare,C.A.R. and Jifeng,H. (1986) The weakest prespecification. Fundamenta Informaticae IX. Part I: 51\u201384, Part II: 217\u2013262.","journal-title":"Fundamenta Informaticae"},{"key":"1_CR9","doi-asserted-by":"crossref","first-page":"346","DOI":"10.1305\/ndjfl\/1093870378","volume":"24","author":"I.L. Humberstone","year":"1983","unstructured":"Humberstone,I.L. (1983) Inaccessible worlds. Notre Dame Journal of Formal Logic 24, 346\u2013352.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"1_CR10","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1007\/BF02483728","volume":"15","author":"B. J\u00f3nsson","year":"1982","unstructured":"J\u00f3nsson,B. (1982) Varieties of relation algebras. Algebra Universalis 15, 273\u2013298.","journal-title":"Algebra Universalis"},{"key":"1_CR11","volume-title":"Algebraic logic","author":"B. J\u00f3nsson","year":"1991","unstructured":"J\u00f3nsson,B. (1991) The theory of binary relations. In: Andreka, H., Monk, J.D. and Nemeti, I. Algebraic logic. North Holland, Amsterdam."},{"key":"1_CR12","unstructured":"Konikowska,B. (1987) A formal language for reasoning about indiscernibility. Bulletin of the PAS 35, Ser. Math., 239\u2013249."},{"key":"1_CR13","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":"1_CR14","doi-asserted-by":"crossref","first-page":"331","DOI":"10.2307\/2270900","volume":"34","author":"J.D. Monk","year":"1969","unstructured":"Monk,J.D. (1969) Nonfinitizability of classes of representable cylindric algebras. Journal of Symbolic Logic 34, 331\u2013343.","journal-title":"Journal of Symbolic Logic"},{"key":"1_CR15","unstructured":"Nemeti,I. (1990) Algebraizations of quantifier logics, an introductory overview. Manuscript."},{"key":"1_CR16","first-page":"465","volume-title":"Foundations of logic and linguistics. Problems and solutions","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 solutions. Selected contributions to the 7th International Congress of Logic, Methodology and Philosophy of Science, Salzburg. Plenum Press, New York, 465\u2013482."},{"key":"1_CR17","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":"1_CR18","first-page":"443","volume-title":"Algebraic logic","author":"E. Orlowska","year":"1988","unstructured":"Orlowska,E. (1988) Relational interpretation of modal logics. In: Andreka, H., Monk, J.D. and Nemeti, I. (eds) Algebraic logic. North Holland, Amsterdam, 1991, 443\u2013471. See also Bulletin of the Section of Logic 17 No 1, (1988), 2\u201314."},{"key":"1_CR19","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 f\u00fcr Mathematische Logik und Grundlagen der Mathematik 35, 559\u2013572.","journal-title":"Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathemati"},{"issue":"No2","key":"1_CR20","first-page":"39","volume":"19","author":"E. Orlowska","year":"1990","unstructured":"Orlowska,E. (1990) Interpretation of relevant logics in a logic of ternary relations. Bulletin of the Section of Logic 19 No 2, 39\u201349.","journal-title":"Bulletin of the Section of Logic"},{"issue":"No4","key":"1_CR21","first-page":"132","volume":"18","author":"E. Orlowska","year":"1991","unstructured":"Orlowska,E. (1991a) Dynamic logic with program specifications and its relational proof system. Journal of Applied Non-Classical Logics, to appear. See also Bulletin of the Section of Logic 18 No 4, (1989), 132\u2013137.","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"1_CR22","doi-asserted-by":"crossref","unstructured":"Orlowska,E. (1991b) Post relation algebras and their proof system. Proceedings of the 21st International Symposium on Multiple-Valued Logic, Victoria, Canada, 1991, 298\u2013305. See also Bulletin of the Section of Logic 20 No 1, (1991), 14\u201322.","DOI":"10.1109\/ISMVL.1991.130746"},{"key":"1_CR23","volume-title":"Reasoning with negative information I: Strong negation in logic programs","author":"D. Pearce","year":"1989","unstructured":"Pearce,D. and Wagner,G. (1989) Reasoning with negative information I: Strong negation in logic programs. Gruppe f\u00fcr Logik, Wissentheorie und Information an der Freien Universitat Berlin, Bericht Nr. 4\/89."},{"key":"1_CR24","unstructured":"Pratt,V.R. (1976) Semantical considerations on Floyd-Hoare logic. Proceedings of the 17th IEEE Symp. on Foundations of Computer Science, 109\u2013121."},{"key":"1_CR25","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 Pres, Oxford."},{"key":"1_CR26","volume-title":"The mathematics of metamathematics","author":"H. Rasiowa","year":"1963","unstructured":"Rasiowa,H. and Sikorski,R. (1963) The mathematics of metamathematics. Polish Scientific Publishers, Warsaw."},{"key":"1_CR27","volume-title":"Filosofiska Studier","author":"K. Segerberg","year":"1971","unstructured":"Segerberg,K. (1971) An essay in classical modal logic. Filosofiska Studier, Uppsala Universitet, Uppsala."},{"key":"1_CR28","first-page":"173","volume-title":"Logiczeskij wywod","author":"K. Segerberg","year":"1979","unstructured":"Segerberg,K. (1979) Wremiennaja logika von Wrighta. In: Logiczeskij wywod. Nauka, Moscow, 173\u2013205 (in Russian)."},{"key":"1_CR29","doi-asserted-by":"crossref","first-page":"73","DOI":"10.2307\/2268577","volume":"6","author":"A. Tarski","year":"1941","unstructured":"Tarski,A. (1941) On the calculus of relations. Journal of Symbolic Logic 6, 73\u201389.","journal-title":"Journal of Symbolic Logic"},{"key":"1_CR30","doi-asserted-by":"crossref","first-page":"56","DOI":"10.1016\/S1385-7258(55)50009-6","volume":"17","author":"A. Tarski","year":"1955","unstructured":"Tarski,A. (1955) Contributions to the theory of models. Indagationes Mathematicae 17, 56\u201364.","journal-title":"Indagationes Mathematicae"},{"key":"1_CR31","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":"1_CR32","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"},{"key":"1_CR33","unstructured":"Valiev,M.K. (1988) Interpretation of modal logics as epistemic logics (In Russian). Proceedings of the Conference 'Borzomi '88, Moscow, 76\u201377."},{"key":"1_CR34","doi-asserted-by":"crossref","unstructured":"Van Benthem,J. (1984) Correspondence theory. In: D.Gabbay and F. Guenther (eds) Handbook of Philosophical Logic. Vol II, Reidel, 167\u2013247.","DOI":"10.1007\/978-94-009-6259-0_4"},{"key":"1_CR35","first-page":"293","volume":"18","author":"G.H. Wright Von","year":"1965","unstructured":"VonWright, G.H. (1965) And next. Acta Philosophica Fennica 18, 293\u2013304.","journal-title":"Acta Philosophica Fennica"},{"key":"1_CR36","unstructured":"Wagner,G. (1990) Vivid reasoning with negative information. Gruppe f\u00fcr. Logik, Wissentheorie und Information an der Freien Universitat Berlin, Bericht Nr. 8\/90."}],"container-title":["Lecture Notes in Computer Science","Nonclassical Logics and Information Processing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0031920.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,21]],"date-time":"2021-07-21T07:30:19Z","timestamp":1626852619000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0031920"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540557458"],"references-count":36,"URL":"https:\/\/doi.org\/10.1007\/bfb0031920","relation":{},"subject":[]}}