{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,19]],"date-time":"2025-09-19T09:29:49Z","timestamp":1758274189166},"reference-count":19,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1993,6,1]],"date-time":"1993-06-01T00:00:00Z","timestamp":738892800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Intell Inf Syst"],"published-print":{"date-parts":[[1993,6]]},"DOI":"10.1007\/bf00965875","type":"journal-article","created":{"date-parts":[[2005,1,12]],"date-time":"2005-01-12T06:12:43Z","timestamp":1105510363000},"page":"149-164","source":"Crossref","is-referenced-by-count":3,"title":["Mechanical proof systems for logic II, consensus programs and their processing"],"prefix":"10.1007","volume":"2","author":[{"given":"Helena","family":"Rasiowa","sequence":"first","affiliation":[]},{"given":"V. Wiktor","family":"Marek","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"CR1","first-page":"493","volume-title":"Handbook of Theoretical Computer Science.","author":"K. Apt","year":"1990","unstructured":"Apt, K. (1990). Logic Programming. In J. van Leeuven (Ed.),Handbook of Theoretical Computer Science. Cambridge, MA: MIT Press, pp. 493?574."},{"key":"CR2","unstructured":"Fagin, R., Halpern, J.Y., and Vardi, M. (1988). Model-Theoretical Analysis of Knowledge. IBM research report RJ 6461."},{"key":"CR3","doi-asserted-by":"crossref","first-page":"55","DOI":"10.3233\/FI-1992-171-205","volume":"17","author":"M. Fitting","year":"1992","unstructured":"Fitting, M. (1992). Many-Valued Modal Logics. II.Fundamenta Informaticae, 17, 55?73.","journal-title":"Fundamenta Informaticae"},{"key":"CR4","unstructured":"Halpern, J.Y. (ed.) (1986).Theoretical Aspects of Reasoning about Knowledge. Morgan Kaufmann."},{"key":"CR5","unstructured":"Halpern, J.Y., and Moses, Y. (1984). Toward a Theory of Knowledge and Ignorance: Preliminary Report.Proc. AAAI Workshop Non-Monotonic Reasoning, pp. 125?143."},{"key":"CR6","unstructured":"Mazer, M.S. (1988). A Knowledge Theoretic Account of Recovery in Distributed Systems in M. Vardi (Ed.),TARK'88, pp. 309?324."},{"key":"CR7","unstructured":"Moses, Y. (ed.) (1992).Theoretical Aspects of Reasoning about Knowledge. Morgan Kaufmann."},{"key":"CR8","doi-asserted-by":"crossref","unstructured":"Nerode, A., and Shore, R. (1993).Logic for Applications. Springer-Verlag.","DOI":"10.1007\/978-1-4684-0211-7"},{"key":"CR9","first-page":"110","volume":"28","author":"E. Orlowska","year":"1985","unstructured":"Orlowska, E. (1985). Mechanical Proof Methods for Post Logics.Logique Anal. (N.S.), 28, 110?111, 173?192.","journal-title":"Logique Anal. (N.S.)"},{"key":"CR10","unstructured":"Orlowska, E. (1990). Logic for Reasoning about Knowledge.Z. Math. Logik Grund. Math."},{"key":"CR11","unstructured":"Parikh, R. (Ed.) (1990).Theoretical Aspects of Reasoning about Knowledge. Morgan Kaufmann."},{"key":"CR12","doi-asserted-by":"crossref","first-page":"341","DOI":"10.1007\/BF01001956","volume":"11","author":"Z. Pawlak","year":"1982","unstructured":"Pawlak, Z. (1982). Rough Sets.International Journal of Computer and Information Sciences, 11, 341?356.","journal-title":"International Journal of Computer and Information Sciences"},{"key":"CR13","unstructured":"Rasiowa, H. (1987). Algebraic Approach to Some Approximate Reasonings. Proc.ISMVL'87, IEEE Press, pp. 342?347."},{"key":"CR14","doi-asserted-by":"crossref","unstructured":"Rasiowa, H. (1988). Logic of Approximation Reasoning.Proc. CSL'87, Lecture notes in Computer Science, vol. 329, Springer-Verlag, pp. 188?210.","DOI":"10.1007\/3-540-50241-6_38"},{"key":"CR15","unstructured":"Rasiowa, H. (1990), On Approximation Logics: A Survey, Kurt G\u00f6del Gesellschaft, Jahrbuch, pp. 63?87."},{"key":"CR16","doi-asserted-by":"crossref","first-page":"415","DOI":"10.1016\/0888-613X(91)90020-M","volume":"5","author":"H. Rasiowa","year":"1991","unstructured":"Rasiowa, H. (1991). Mechanical Proof Systems for Logic: Reaching Consensus by Groups of Intelligent Agents.International Journal of Approximate Reasoning, 5, 415?432.","journal-title":"International Journal of Approximate Reasoning"},{"key":"CR17","unstructured":"Rasiowa, H., and Marek, W. (1989). On Reaching Consensus by Groups of Intelligent Agents.Proc. ISMIS'89, North-Holland, pp. 234?243."},{"key":"CR18","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1145\/321250.321253","volume":"12","author":"G.A. Robinson","year":"1965","unstructured":"Robinson, G.A. (1965), A Machine Oriented Logic Based on the Resolution Principle.Journal of the Association for Computing Machinery, 12, 23?41.","journal-title":"Journal of the Association for Computing Machinery"},{"key":"CR19","unstructured":"Vardi, M.Y. (ed.) (1988).Theoretical Aspects of Reasoning about Knowledge. Morgan Kaufmann."}],"container-title":["Journal of Intelligent Information Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00965875.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00965875\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00965875","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,3]],"date-time":"2021-07-03T22:35:45Z","timestamp":1625351745000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00965875"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993,6]]},"references-count":19,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1993,6]]}},"alternative-id":["BF00965875"],"URL":"https:\/\/doi.org\/10.1007\/bf00965875","relation":{},"ISSN":["0925-9902","1573-7675"],"issn-type":[{"value":"0925-9902","type":"print"},{"value":"1573-7675","type":"electronic"}],"subject":[],"published":{"date-parts":[[1993,6]]}}}