{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,15]],"date-time":"2025-08-15T01:21:50Z","timestamp":1755220910326,"version":"3.43.0"},"reference-count":16,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1997,1,1]],"date-time":"1997-01-01T00:00:00Z","timestamp":852076800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1997,1,1]],"date-time":"1997-01-01T00:00:00Z","timestamp":852076800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Studia Logica"],"published-print":{"date-parts":[[1997,1]]},"DOI":"10.1023\/a:1004944015811","type":"journal-article","created":{"date-parts":[[2002,12,21]],"date-time":"2002-12-21T15:24:14Z","timestamp":1040484254000},"page":"99-112","source":"Crossref","is-referenced-by-count":12,"title":["A Completeness Proof for a Logic with an Alternative Necessity Operator"],"prefix":"10.1007","volume":"58","author":[{"given":"St\u00e9phane","family":"Demri","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"126258_CR1","doi-asserted-by":"crossref","unstructured":"Cook, S., 1971, 'The complexity of theorem-proving procedures', Third Annual ACM Symposium on Theory of Computing, 151-158.","DOI":"10.1145\/800157.805047"},{"key":"126258_CR2","unstructured":"Gallier, J. H., 1986, Logic for Computer Science, Harper and Row."},{"key":"126258_CR3","unstructured":"Hughes, G. and M. Cresswell, 1968, An introduction to modal logic, Methuen and Co."},{"key":"126258_CR4","unstructured":"Hughes, G. and M. Cresswell, 1984, A companion to modal logic, Methuen."},{"key":"126258_CR5","unstructured":"Hintikka, J., 1962, Knowledge and Belief, Cornell University Press."},{"key":"126258_CR6","doi-asserted-by":"crossref","first-page":"319","DOI":"10.1016\/0004-3702(92)90049-4","volume":"54","author":"J. Halpern","year":"1992","unstructured":"Halpern, J. and Y. Moses, 1992, 'A guide to completeness and complexity for modal logics of knowledge and belief', Artificial Intelligence, 54, 319-379.","journal-title":"Artificial Intelligence"},{"key":"126258_CR7","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2307\/2964568","volume":"24","author":"S. Kripke","year":"1959","unstructured":"Kripke, S., 1959, 'A completeness theorem in modal logic', The Journal of Symbolic Logic, 24, 1-14.","journal-title":"The Journal of Symbolic Logic"},{"key":"126258_CR8","first-page":"379","volume":"12","author":"D. Makinson","year":"1966","unstructured":"Makinson, D., 1966, 'On some completeness theorems in modal logic', The Journal of Symbolic Logic, 12, 379-384.","journal-title":"The Journal of Symbolic Logic"},{"key":"126258_CR9","series-title":"Banach Center Publications","first-page":"329","volume-title":"Mathematical Problems in Computation Theory","author":"E. Or\u0141owska","year":"1988","unstructured":"Or\u0141owska, E., 1988, 'Kripke models with relative accessibility and their applications to inferences from incomplete information', In Mathematical Problems in Computation Theory, 329-339, Banach Center Publications, Volume 21 PWN-Polish Scientific Publishers, Warsaw."},{"key":"126258_CR10","doi-asserted-by":"crossref","first-page":"349","DOI":"10.1016\/0888-613X(88)90109-0","volume":"2","author":"E. Or\u0141owska","year":"1988","unstructured":"Or\u0141owska, E., 1988, 'Logical aspects of learning concepts', Journal of Approximate Reasoning, 2, 349-364.","journal-title":"Journal of Approximate Reasoning"},{"key":"126258_CR11","doi-asserted-by":"crossref","first-page":"559","DOI":"10.1002\/malq.19890350612","volume":"35","author":"E. Or\u0141owska","year":"1989","unstructured":"Or\u0141owska, E., 1989, 'Logic for reasoning about knowledge', Zeitschr. f. math. Logik und Grundlagen d. Math., 35, 559-568.","journal-title":"Zeitschr. f. math. Logik und Grundlagen d. Math."},{"key":"126258_CR12","doi-asserted-by":"crossref","unstructured":"Or\u0141owska, E., 1993, 'Reasoning with incomplete information: rough set based information logics', In V. Alagar, S. Bergler, and F. Q. Dong, editors, Incompleteness and Uncertainty in Information Systems Workshop, 16-33, Springer-Verlag.","DOI":"10.1007\/978-1-4471-3242-4_2"},{"key":"126258_CR13","doi-asserted-by":"crossref","unstructured":"Pawlak, Z., 1991, Rough sets, Kluwer.","DOI":"10.1007\/978-94-011-3534-4"},{"key":"126258_CR14","doi-asserted-by":"crossref","unstructured":"Rauszer, C., 1992, 'Rough logic for multi-agent systems', In M. Masuch and L. P\u00f3los, editors, Knowledge representation and reasoning under uncertainty, Logic at Work, 161-181, LNCS 808, Springer-Verlag.","DOI":"10.1007\/3-540-58095-6_12"},{"key":"126258_CR15","unstructured":"Segerberg, K., 1971, 'An essay in classical modal logic (three vols.)', Technical Report Filofiska Studier nr\n13, Uppsala Universitet."},{"key":"126258_CR16","unstructured":"Valiev, M. K., 1988, 'Interpretation of modal logics as epistemic logics (In Russian)', In Proceedings of the Conference of Borzomi, 76-77."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1004944015811.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1004944015811\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1004944015811.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,8]],"date-time":"2025-08-08T05:24:00Z","timestamp":1754630640000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1004944015811"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,1]]},"references-count":16,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1997,1]]}},"alternative-id":["126258"],"URL":"https:\/\/doi.org\/10.1023\/a:1004944015811","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"type":"print","value":"0039-3215"},{"type":"electronic","value":"1572-8730"}],"subject":[],"published":{"date-parts":[[1997,1]]}}}