{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,3]],"date-time":"2026-08-03T18:35:39Z","timestamp":1785782139447,"version":"3.56.0"},"reference-count":13,"publisher":"Informa UK Limited","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Applied Non-Classical Logics"],"published-print":{"date-parts":[[1991,1]]},"DOI":"10.1080\/11663081.1991.10510769","type":"journal-article","created":{"date-parts":[[2012,5,30]],"date-time":"2012-05-30T07:51:48Z","timestamp":1338364308000},"page":"9-35","source":"Crossref","is-referenced-by-count":8,"title":["Rough polyadic modal logics"],"prefix":"10.1080","volume":"1","author":[{"given":"D.","family":"Vakarelov","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"301","reference":[{"key":"CIT0001","unstructured":"Benlhem, J. F A. K. 1986. \u201cModal Logic and Classical Logic. Bibliopolis, Napoli\u201d."},{"key":"CIT0002","unstructured":"Hughes, G. H. and Cresswell, M. J. 1984. \u201cA Companion to Modal Logic. Methuen, London & New York\u201d."},{"key":"CIT0003","first-page":"891","volume":"73","author":"Jonsson B.","year":"1951","journal-title":"J. Math., Part I"},{"key":"CIT0004","doi-asserted-by":"crossref","first-page":"252","DOI":"10.1305\/ndjfl\/1093894226","volume":"12","author":"Makinson D. C.","year":"1971","journal-title":"Notre Dame Journal of Formal Logic"},{"issue":"5","key":"CIT0005","doi-asserted-by":"crossref","first-page":"341","DOI":"10.1007\/BF01001956","volume":"11","author":"Pawlak Z.","year":"1982","journal-title":"Rough sets. Int. J. of Information and Computer Science"},{"key":"CIT0006","doi-asserted-by":"crossref","first-page":"469","DOI":"10.1016\/S0020-7373(84)80022-X","volume":"20","author":"Pawlak Z.","year":"1984","journal-title":"Int. J. of Man-Machine Studies"},{"issue":"9","key":"CIT0007","first-page":"587","volume":"34","author":"Pawlak Z.","year":"1986","journal-title":"ser. Tech. Sci."},{"key":"CIT0008","doi-asserted-by":"crossref","unstructured":"Rasiowa, H. and Skowron, A. 1988. Edited by: Skowron, A. Vol. 208, 288\u2013297. LNCS. Rough concepts logic. In: Computation Theory","DOI":"10.1007\/3-540-16066-3_24"},{"key":"CIT0009","doi-asserted-by":"crossref","unstructured":"Rasiowa, H. 1986. \u201cLogic of approximating sequences of sets. Invited Lecture, Proc. Advanced Inter. School and Symp. of Mathematical Logic and Applications, Drushba, Bulgaria, 167\u2013186\u201d.","DOI":"10.1007\/978-1-4613-0897-3_11"},{"key":"CIT0010","unstructured":"Szczerba, L. W. 1986. \u201cRough quantifiers. To appear\u201d."},{"key":"CIT0011","unstructured":"Segerberg, K. 1971. \u201cAn Essay in Classical Modal Logic. Upsala, Filosofiska Studier 13\u201d."},{"key":"CIT0012","doi-asserted-by":"crossref","first-page":"711","DOI":"10.2307\/2272418","volume":"37","author":"Segerberg K.","year":"1972","journal-title":"J. of Symbolic Logic"},{"key":"CIT0013","doi-asserted-by":"crossref","unstructured":"Vakarelov, D. 1989. Edited by: Priest, Gr., Routley, R. and Norman, J. Muchen: Analytica Philosophia Verlag. Consistency completeness and negation. In: Paraconsistent Logic\u2014Essay on Inconsistent","DOI":"10.2307\/j.ctv2x8v8c7.15"}],"container-title":["Journal of Applied Non-Classical Logics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/10256018808623883","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,23]],"date-time":"2023-06-23T00:37:06Z","timestamp":1687480626000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.tandfonline.com\/doi\/abs\/10.1080\/11663081.1991.10510769"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991,1]]},"references-count":13,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1991,1]]}},"alternative-id":["10.1080\/11663081.1991.10510769"],"URL":"https:\/\/doi.org\/10.1080\/11663081.1991.10510769","relation":{},"ISSN":["1166-3081","1958-5780"],"issn-type":[{"value":"1166-3081","type":"print"},{"value":"1958-5780","type":"electronic"}],"subject":[],"published":{"date-parts":[[1991,1]]}}}