{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,16]],"date-time":"2026-01-16T09:15:42Z","timestamp":1768554942076,"version":"3.49.0"},"reference-count":16,"publisher":"Informa UK Limited","issue":"4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Applied Non-Classical Logics"],"published-print":{"date-parts":[[1998,1]]},"DOI":"10.1080\/11663081.1998.10510949","type":"journal-article","created":{"date-parts":[[2012,5,30]],"date-time":"2012-05-30T08:11:11Z","timestamp":1338365471000},"page":"325-335","source":"Crossref","is-referenced-by-count":5,"title":["Complete Axiomatization of a Relative Modal Logic with Composition and Intersection"],"prefix":"10.1080","volume":"8","author":[{"given":"Philippe","family":"Balbiani","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luis Fari\u00f1as","family":"del Cerro","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"301","reference":[{"key":"CIT0001","volume-title":"Terminological modal logic.","author":"Balbiani P.","year":"1998"},{"key":"CIT0002","doi-asserted-by":"crossref","volume-title":"Inequality without irreflexivity.","author":"Balbiani P.","DOI":"10.1080\/11663081.1999.10510982"},{"key":"CIT0003","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-16066-3_5","volume-title":"Nondetermimstic prepositional dynamic logic with intersection is decidable.","author":"Danecki R.","year":"1985"},{"key":"CIT0004","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5803.001.0001","volume-title":"Reasoning About Knowledge.","author":"Fagin R.","year":"1995"},{"key":"CIT0005","doi-asserted-by":"crossref","unstructured":"Fagin, R., Halpern, J. and Vardi, M. 1992.What can machines know? On the properties of knowledge in distributed systems.Vol. 39, 328\u2013376. Journal of the ACM, Volume","DOI":"10.1145\/128749.150945"},{"key":"CIT0006","doi-asserted-by":"crossref","unstructured":"Fischer, M. and Ladner, R. 1979.Prepositional dynamic logic of regular programs.Vol. 18, 194\u2013211. Journal of Computer and System Sciences, Volume","DOI":"10.1016\/0022-0000(79)90046-1"},{"key":"CIT0007","volume-title":"Axiomatismg the Logic of Computer Programming. Lecture Notes in Computer Science 130, Springer-Verlag","author":"Goldblatt R.","year":"1982"},{"key":"CIT0008","volume-title":"Logics of Time and Computation. Lecture Notes 7, Center for the Study of Language and Information","author":"Goldblatt R.","year":"1987"},{"key":"CIT0009","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-09237-4","volume-title":"First-Order Dynamic Logic. Lecture Notes in Computer Science 68, Springer-Verlag","author":"Harel D.","year":"1979"},{"key":"CIT0010","volume-title":"Recurring dominoes: making the highly unclecidable highly understandable.","author":"Harel D.","year":"1983"},{"key":"CIT0011","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-009-6259-0_10","volume-title":"Dynamic logic.","author":"Harel D.","year":"1984"},{"key":"CIT0012","volume-title":"A Companion to Modal Logic. Methuen","author":"Hughes G.","year":"1984"},{"key":"CIT0013","doi-asserted-by":"crossref","unstructured":"Humberstone, I. 1983.Inaccessible worlds.Vol. 24, 346\u2013352. Notre Dame Journal of Formal Logic, Volume","DOI":"10.1305\/ndjfl\/1093870378"},{"key":"CIT0014","doi-asserted-by":"crossref","unstructured":"Meyer, J.J. 1988.A different approach to deontic logic: deontic logic viewed as a variant of dynamic logic.Vol. 29, 109\u2013136. Notre Dame Journal of Formal Logic, Volume","DOI":"10.1305\/ndjfl\/1093637776"},{"key":"CIT0015","volume-title":"Kripke models with relative accessibility and their applications to inferences from incomplete information. Banach Center Publications, Mathematical Problems in Computation Theory. Volume 21, 329\u2013339, Polish Scientific Publishers","author":"Orlowska E.","year":"1988"},{"key":"CIT0016","doi-asserted-by":"crossref","unstructured":"Passy, S. and Tinchev, T. 1991.An essay in combinatory dynamic logic.Vol. 93, 263\u2013332. Information and Control, Volume","DOI":"10.1016\/0890-5401(91)90026-X"}],"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":[[2025,3,29]],"date-time":"2025-03-29T01:47:30Z","timestamp":1743212850000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.tandfonline.com\/doi\/abs\/10.1080\/11663081.1998.10510949"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998,1]]},"references-count":16,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1998,1]]}},"alternative-id":["10.1080\/11663081.1998.10510949"],"URL":"https:\/\/doi.org\/10.1080\/11663081.1998.10510949","relation":{},"ISSN":["1166-3081","1958-5780"],"issn-type":[{"value":"1166-3081","type":"print"},{"value":"1958-5780","type":"electronic"}],"subject":[],"published":{"date-parts":[[1998,1]]}}}