{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,16]],"date-time":"2026-07-16T23:04:54Z","timestamp":1784243094517,"version":"3.55.0"},"reference-count":33,"publisher":"Informa UK Limited","issue":"3-4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Applied Non-Classical Logics"],"published-print":{"date-parts":[[2003,1]]},"DOI":"10.3166\/jancl.13.231-276","type":"journal-article","created":{"date-parts":[[2007,6,12]],"date-time":"2007-06-12T02:19:11Z","timestamp":1181614751000},"page":"231-276","source":"Crossref","is-referenced-by-count":20,"title":["PDL with intersection of programs: a complete axiomatization"],"prefix":"10.1080","volume":"13","author":[{"given":"Philippe","family":"Balbiani","sequence":"first","affiliation":[{"name":"a Institut de recherche en informatique de Toulouse , Universit\u00e9 Paul Sabatier , 118 route de Narbonne, 31062 , Toulouse cedex 4, France"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Dimiter","family":"Vakarelov","sequence":"additional","affiliation":[{"name":"b Department of Mathematical Logic with Laboratory for Applied Logic, Faculty of Mathematics and Computer Science , Sofia University , blvd James Bouchier 5, 1126 , Sofia , Bulgaria"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"301","published-online":{"date-parts":[[2012,4,13]]},"reference":[{"key":"CIT0001","doi-asserted-by":"publisher","DOI":"10.3166\/jancl.11.269-280"},{"key":"CIT0002","doi-asserted-by":"publisher","DOI":"10.1080\/11663081.1998.10510949"},{"key":"CIT0003","doi-asserted-by":"crossref","first-page":"173","DOI":"10.3233\/FUN-2001-45302","volume":"45","author":"Balbiani P.","year":"2001","journal-title":"Fundamenta Informatic\u00e6"},{"key":"CIT0004","author":"Balbiani P.","journal-title":"Annals of Pure and Applied Logic"},{"key":"CIT0005","volume-title":"A note on dynamic arrow logic","author":"van Benthem J.","year":"1992"},{"key":"CIT0006","first-page":"34","volume-title":"Computation Theory","author":"Danecki R.","year":"1984"},{"key":"CIT0007","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5803.001.0001","volume-title":"Reasoning About Knowledge","author":"Fagin R.","year":"1995"},{"key":"CIT0008","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(85)90046-5"},{"key":"CIT0009","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(79)90046-1"},{"key":"CIT0010","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1007\/978-94-009-8384-7_3","volume-title":"Aspects of Philosophical Logic","author":"Gabbay D.","year":"1981"},{"key":"CIT0011","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4613-0609-2_21"},{"key":"CIT0012","first-page":"205","volume-title":"Proceedings of the Twelfth National Conference on Artificial Intelligence (AAAI-94)","author":"de Giacomo G."},{"key":"CIT0013","volume-title":"Axiomatizing the Logic of Computer Programming","author":"Goldblatt R.","year":"1982"},{"key":"CIT0014","first-page":"213","volume-title":"Mathematics of Modality","author":"Goldblatt R.","year":"1993"},{"key":"CIT0015","doi-asserted-by":"publisher","DOI":"10.1023\/A:1005021313747"},{"key":"CIT0016","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-12689-9_103"},{"key":"CIT0017","doi-asserted-by":"crossref","first-page":"497","DOI":"10.1007\/978-94-009-6259-0_10","volume-title":"Handbook of Philosophical Logic","author":"Harel D.","year":"1984"},{"key":"CIT0018","volume-title":"A Companion to Modal Logic","author":"Hughes G.","year":"1984"},{"key":"CIT0019","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1007\/BF01048404","volume":"4","author":"Kracht M.","year":"1995","journal-title":"Journal of Logic, Language and Information"},{"key":"CIT0020","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-011-5694-3","volume-title":"Multi-Dimension Modal Logic","author":"Marx M.","year":"1997"},{"key":"CIT0021","doi-asserted-by":"publisher","DOI":"10.1305\/ndjfl\/1093637776"},{"key":"CIT0022","doi-asserted-by":"crossref","first-page":"675","DOI":"10.3233\/FI-1981-4310","author":"Mirkowska G.","year":"1981","journal-title":"Fundamenta Informatic\u00e6"},{"key":"CIT0023","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1016\/0020-0190(85)90127-9","volume":"20","author":"Passy S.","year":"1985","journal-title":"Information Processing Letters"},{"key":"CIT0024","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(91)90026-X"},{"key":"CIT0025","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1007\/978-1-4613-0897-3_24","volume-title":"Mathematical Logic and its Applications","author":"Petkov A.","year":"1987"},{"key":"CIT0026","volume-title":"A system of dynamic modal logic","author":"de Rijke M.","year":"1992"},{"key":"CIT0027","first-page":"31","volume-title":"Universal Algebra and applications","author":"Segerberg K.","year":"1982"},{"key":"CIT0028","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1007\/BF01048686","volume":"23","author":"Segerberg K.","year":"1994","journal-title":"Journal of Philosophical Logic"},{"key":"CIT0029","doi-asserted-by":"publisher","DOI":"10.2307\/2275109"},{"key":"CIT0030","doi-asserted-by":"crossref","first-page":"364","DOI":"10.1007\/3-540-16066-3_30","volume-title":"Computation Theory","author":"Tinchev T.","year":"1985"},{"key":"CIT0031","volume-title":"Modal rules for intersection","author":"Vakarelov D.","year":"1994"},{"key":"CIT0032","first-page":"264","volume":"1","author":"Vakarelov D.","year":"1995","journal-title":"Bulletin of Symbolic Logic"},{"key":"CIT0033","first-page":"431","volume-title":"Advances in Modal Logic","volume":"2","author":"Wolter F.","year":"2001"}],"container-title":["Journal of Applied Non-Classical Logics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.tandfonline.com\/doi\/pdf\/10.3166\/jancl.13.231-276","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,17]],"date-time":"2025-01-17T05:51:14Z","timestamp":1737093074000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.tandfonline.com\/doi\/full\/10.3166\/jancl.13.231-276"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,1]]},"references-count":33,"journal-issue":{"issue":"3-4","published-online":{"date-parts":[[2012,4,13]]},"published-print":{"date-parts":[[2003,1]]}},"alternative-id":["10.3166\/jancl.13.231-276"],"URL":"https:\/\/doi.org\/10.3166\/jancl.13.231-276","relation":{},"ISSN":["1166-3081","1958-5780"],"issn-type":[{"value":"1166-3081","type":"print"},{"value":"1958-5780","type":"electronic"}],"subject":[],"published":{"date-parts":[[2003,1]]}}}