{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T01:48:03Z","timestamp":1743040083301,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":36,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662595329"},{"type":"electronic","value":"9783662595336"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-662-59533-6_36","type":"book-chapter","created":{"date-parts":[[2019,6,22]],"date-time":"2019-06-22T19:02:35Z","timestamp":1561230155000},"page":"594-609","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Substructural Propositional Dynamic Logics"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-1942-7982","authenticated-orcid":false,"given":"Igor","family":"Sedl\u00e1r","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,6,9]]},"reference":[{"issue":"2","key":"36_CR1","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1023\/B:SYNT.0000024912.56773.5e","volume":"139","author":"A Baltag","year":"2004","unstructured":"Baltag, A., Moss, L.S.: Logics for epistemic programs. Synthese 139(2), 165\u2013224 (2004). \nhttps:\/\/doi.org\/10.1023\/B:SYNT.0000024912.56773.5e","journal-title":"Synthese"},{"key":"36_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"130","DOI":"10.1007\/978-3-662-57669-4_7","volume-title":"Logic, Language, Information, and Computation","author":"M B\u00edlkov\u00e1","year":"2018","unstructured":"B\u00edlkov\u00e1, M., Cintula, P., L\u00e1vi\u010dka, T.: Lindenbaum and pair extension lemma in infinitary logics. In: Moss, L.S., de Queiroz, R., Martinez, M. (eds.) WoLLIC 2018. LNCS, vol. 10944, pp. 130\u2013144. Springer, Heidelberg (2018). \nhttps:\/\/doi.org\/10.1007\/978-3-662-57669-4_7"},{"issue":"6","key":"36_CR3","doi-asserted-by":"publisher","first-page":"1815","DOI":"10.1093\/logcom\/exv009","volume":"26","author":"M B\u00edlkov\u00e1","year":"2016","unstructured":"B\u00edlkov\u00e1, M., Majer, O., Peli\u0161, M.: Epistemic logics for sceptical agents. J. Log. Comput. 26(6), 1815\u20131841 (2016)","journal-title":"J. Log. Comput."},{"key":"36_CR4","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1016\/B978-1-4832-1452-8.50104-4","volume-title":"Principles of Knowledge Representation and Reasoning","author":"C Boutilier","year":"1994","unstructured":"Boutilier, C.: Toward a logic for qualitative decision theory. In: Doyle, J., Sandewall, E., Torasso, P. (eds.) Principles of Knowledge Representation and Reasoning, pp. 75\u201386. Morgan Kaufmann, Burlington (1994)"},{"key":"36_CR5","first-page":"6","volume-title":"Doktorandsk\u00e9 dny \u201908","author":"L B\u011bhounek","year":"2008","unstructured":"B\u011bhounek, L.: Modeling costs of program runs in fuzzified propositional dynamic logic. In: Hakl, F. (ed.) Doktorandsk\u00e9 dny \u201908, pp. 6\u201314. ICS AS CR and Matfyzpress, Prague (2008)"},{"key":"36_CR6","unstructured":"Degen, J., Werner, J.: Towards intuitionistic dynamic logic. Log. Log. Philos. 15(4), 305\u2013324 (2006). \nhttp:\/\/apcz.umk.pl\/czasopisma\/index.php\/LLP\/article\/view\/LLP.2006.018"},{"issue":"1","key":"36_CR7","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1002\/malq.19920380113","volume":"38","author":"K Do\u0161en","year":"1992","unstructured":"Do\u0161en, K.: A brief survey of frames for the Lambek calculus. Math. Logic Q. 38(1), 179\u2013187 (1992). \nhttps:\/\/doi.org\/10.1002\/malq.19920380113","journal-title":"Math. Logic Q."},{"key":"36_CR8","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1016\/0022-0000(79)90046-1","volume":"18","author":"MJ Fischer","year":"1979","unstructured":"Fischer, M.J., Ladner, R.E.: Propositional dynamic logic of regular programs. J. Comput. Syst. Sci. 18, 194\u2013211 (1979)","journal-title":"J. Comput. Syst. Sci."},{"issue":"4","key":"36_CR9","doi-asserted-by":"publisher","first-page":"501","DOI":"10.1007\/BF00370161","volume":"49","author":"A Fuhrmann","year":"1990","unstructured":"Fuhrmann, A.: Models for relevant modal logics. Studia Logica 49(4), 501\u2013514 (1990). \nhttps:\/\/doi.org\/10.1007\/BF00370161","journal-title":"Studia Logica"},{"key":"36_CR10","volume-title":"Residuated Lattices: An Algebraic Glimpse at Substructural Logics","author":"N Galatos","year":"2007","unstructured":"Galatos, N., Jipsen, P., Kowalski, T., Ono, H.: Residuated Lattices: An Algebraic Glimpse at Substructural Logics. Elsevier, Amsterdam (2007)"},{"key":"36_CR11","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/2516.001.0001","volume-title":"Dynamic Logic","author":"D Harel","year":"2000","unstructured":"Harel, D., Kozen, D., Tiuryn, J.: Dynamic Logic. MIT Press, Cambridge (2000)"},{"issue":"1","key":"36_CR12","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/s10849-005-9008-4","volume":"15","author":"J Hughes","year":"2006","unstructured":"Hughes, J., Esterline, A., Kimiaghalam, B.: Means-end relations and a measure of efficacy. J. Log. Lang. Inf. 15(1), 83\u2013108 (2006). \nhttps:\/\/doi.org\/10.1007\/s10849-005-9008-4","journal-title":"J. Log. Lang. Inf."},{"key":"36_CR13","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1016\/0304-3975(81)90019-0","volume":"14","author":"D Kozen","year":"1981","unstructured":"Kozen, D., Parikh, R.: An elementary proof of the completeness of PDL. Theor. Comput. Sci. 14, 113\u2013118 (1981)","journal-title":"Theor. Comput. Sci."},{"issue":"1","key":"36_CR14","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1007\/s10849-007-9051-4","volume":"17","author":"GR Lavalette de","year":"2008","unstructured":"de Lavalette, G.R., Kooi, B., Verbrugge, R.: Strong completeness and limited canonicity for PDL. J. Log. Lang. Inf. 17(1), 69\u201387 (2008). \nhttps:\/\/doi.org\/10.1007\/s10849-007-9051-4","journal-title":"J. Log. Lang. Inf."},{"key":"36_CR15","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"294","DOI":"10.1007\/978-3-540-48061-7_36","volume-title":"New Directions in Rough Sets, Data Mining, and Granular-Soft Computing","author":"C-J Liau","year":"1999","unstructured":"Liau, C.-J.: Many-valued dynamic logic for qualitative decision theory. In: Zhong, N., Skowron, A., Ohsuga, S. (eds.) RSFDGrC 1999. LNCS (LNAI), vol. 1711, pp. 294\u2013303. Springer, Heidelberg (1999). \nhttps:\/\/doi.org\/10.1007\/978-3-540-48061-7_36"},{"issue":"5","key":"36_CR16","doi-asserted-by":"publisher","first-page":"1011","DOI":"10.1016\/j.jlamp.2016.03.004","volume":"85","author":"Alexandre Madeira","year":"2016","unstructured":"Madeira, A., Neves, R., Martins, M.A.: An exercise on the generation of many-valued dynamic logics. J. Log. Algebr. Methods Program. 85(5, Part 2), 1011\u20131037 (2016). \nhttps:\/\/doi.org\/10.1016\/j.jlamp.2016.03.004\n\n. \nhttp:\/\/www.sciencedirect.com\/science\/article\/pii\/S2352220816300256\n\n. Articles dedicated to Prof. J. N. Oliveira on the occasion of his 60th birthday","journal-title":"Journal of Logical and Algebraic Methods in Programming"},{"key":"36_CR17","first-page":"3","volume":"26","author":"ED Mares","year":"1992","unstructured":"Mares, E.D.: The semantic completeness of RK. Rep. Math. Log. 26, 3\u201310 (1992)","journal-title":"Rep. Math. Log."},{"issue":"1","key":"36_CR18","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1007\/BF01049182","volume":"22","author":"ED Mares","year":"1993","unstructured":"Mares, E.D., Meyer, R.K.: The semantics of R4. J. Philos. Log. 22(1), 95\u2013110 (1993). \nhttps:\/\/doi.org\/10.1007\/BF01049182","journal-title":"J. Philos. Log."},{"issue":"1","key":"36_CR19","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1305\/ndjfl\/1093637776","volume":"29","author":"JJC Meyer","year":"1987","unstructured":"Meyer, J.J.C.: A different approach to deontic logic: deontic logic viewed as a variant of dynamic logic. Notre Dame J. Formal Log. 29(1), 109\u2013136 (1987)","journal-title":"Notre Dame J. Formal Log."},{"key":"36_CR20","series-title":"LNCS","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31555-8","volume-title":"The Logic of Categorial Grammars","author":"R Moot","year":"2012","unstructured":"Moot, R., Retor\u00e9, C.: The Logic of Categorial Grammars. LNCS. Springer, Heidelberg (2012). \nhttps:\/\/doi.org\/10.1007\/978-3-642-31555-8"},{"issue":"2","key":"36_CR21","doi-asserted-by":"publisher","first-page":"847","DOI":"10.2977\/prims\/1195183579","volume":"18","author":"H Nishimura","year":"1982","unstructured":"Nishimura, H.: Semantical analysis of constructive PDL. Publ. Res. Inst. Math. Sci. 18(2), 847\u2013858 (1982). \nhttps:\/\/doi.org\/10.2977\/prims\/1195183579","journal-title":"Publ. Res. Inst. Math. Sci."},{"key":"36_CR22","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-017-3179-9","volume-title":"Substructural Logics: A Primer","author":"F Paoli","year":"2002","unstructured":"Paoli, F.: Substructural Logics: A Primer. Kluwer, Dordrecht (2002)"},{"key":"36_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1007\/3-540-08921-7_88","volume-title":"Mathematical Foundations of Computer Science 1978","author":"R Parikh","year":"1978","unstructured":"Parikh, R.: The completeness of propositional dynamic logic. In: Winkowski, J. (ed.) MFCS 1978. LNCS, vol. 64, pp. 403\u2013415. Springer, Heidelberg (1978). \nhttps:\/\/doi.org\/10.1007\/3-540-08921-7_88"},{"key":"36_CR24","doi-asserted-by":"crossref","unstructured":"Pratt, V.: Semantical considerations on Floyd-Hoare logic. In: 7th Annual Symposium on Foundations of Computer Science, pp. 109\u2013121. IEEE Computing Society (1976)","DOI":"10.1109\/SFCS.1976.27"},{"key":"36_CR25","volume-title":"An Introduction to Substrucutral Logics","author":"G Restall","year":"2000","unstructured":"Restall, G.: An Introduction to Substrucutral Logics. Routledge, London (2000)"},{"key":"36_CR26","unstructured":"Rosenschein, S.: Plan synthesis: a logical perspective. In: Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI) (1981)"},{"issue":"1","key":"36_CR27","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1007\/BF00649991","volume":"1","author":"R Routley","year":"1972","unstructured":"Routley, R., Meyer, R.K.: The semantics of entailment-II. J. Philos. Logic 1(1), 53\u201373 (1972). \nhttps:\/\/doi.org\/10.1007\/BF00649991","journal-title":"J. Philos. Logic"},{"key":"36_CR28","first-page":"194","volume-title":"Truth Syntax and Modality","author":"R Routley","year":"1973","unstructured":"Routley, R., Meyer, R.K.: Semantics of entailment. In: Leblanc, H. (ed.) Truth Syntax and Modality, pp. 194\u2013243. North Holland, Amsterdam (1973)"},{"key":"36_CR29","unstructured":"Sedl\u00e1r, I.: Propositional dynamic logic with Belnapian truth values. In: Advances in Modal Logic, vol. 11. College Publications, London (2016)"},{"key":"36_CR30","first-page":"239","volume-title":"The Logica Yearbook 2016","author":"I Sedl\u00e1r","year":"2017","unstructured":"Sedl\u00e1r, I.: Non-classical PDL on the cheap. In: Arazim, P., L\u00e1vi\u010dka, T. (eds.) The Logica Yearbook 2016, pp. 239\u2013256. College Publications, London (2017)"},{"key":"36_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1007\/978-3-662-55386-2_25","volume-title":"Logic, Language, Information, and Computation","author":"I Sedl\u00e1r","year":"2017","unstructured":"Sedl\u00e1r, I.: Substructural logics with a reflexive transitive closure modality. In: Kennedy, J., de Queiroz, R.J.G.B. (eds.) WoLLIC 2017. LNCS, vol. 10388, pp. 349\u2013357. Springer, Heidelberg (2017). \nhttps:\/\/doi.org\/10.1007\/978-3-662-55386-2_25"},{"key":"36_CR32","doi-asserted-by":"crossref","unstructured":"Sedl\u00e1r, I., Pun\u010doch\u00e1\u0159, V.: From positive PDL to its non-classical extensions. Log. J. IGPL (2019, forthcoming)","DOI":"10.1093\/jigpal\/jzz017"},{"issue":"6","key":"36_CR33","doi-asserted-by":"publisher","first-page":"787","DOI":"10.1093\/logcom\/10.6.787","volume":"10","author":"L Spalazzi","year":"2000","unstructured":"Spalazzi, L., Traverso, P.: A dynamic logic for acting, sensing, and planning. J. Log. Comput. 10(6), 787\u2013821 (2000). \nhttps:\/\/doi.org\/10.1093\/logcom\/10.6.787","journal-title":"J. Log. Comput."},{"issue":"4","key":"36_CR34","doi-asserted-by":"publisher","first-page":"377","DOI":"10.1016\/j.jal.2014.04.001","volume":"12","author":"B Teheux","year":"2014","unstructured":"Teheux, B.: Propositional dynamic logic for searching games with errors. J. Appl. Log. 12(4), 377\u2013394 (2014)","journal-title":"J. Appl. Log."},{"issue":"4","key":"36_CR35","doi-asserted-by":"publisher","first-page":"1059","DOI":"10.2307\/2274261","volume":"49","author":"Alasdair Urquhart","year":"1984","unstructured":"Urquhart, A.: The undecidability of entailment and relevant implication. J. Symb. Log. 49(4), 1059\u20131073 (1984). \nhttp:\/\/www.jstor.org\/stable\/2274261","journal-title":"Journal of Symbolic Logic"},{"issue":"1-3","key":"36_CR36","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.apal.2004.12.001","volume":"135","author":"Duminda Wijesekera","year":"2005","unstructured":"Wijesekera, D., Nerode, A.: Tableaux for constructive concurrent dynamic logic. Ann. Pure Appl. Log. 135(1), 1\u201372 (2005). \nhttps:\/\/doi.org\/10.1016\/j.apal.2004.12.001\n\n. \nhttp:\/\/www.sciencedirect.com\/science\/article\/pii\/S0168007204001794","journal-title":"Annals of Pure and Applied Logic"}],"container-title":["Lecture Notes in Computer Science","Logic, Language, Information, and Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-59533-6_36","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,12,6]],"date-time":"2019-12-06T15:06:23Z","timestamp":1575644783000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-59533-6_36"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783662595329","9783662595336"],"references-count":36,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-59533-6_36","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"9 June 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"WoLLIC","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Workshop on Logic, Language, Information, and Computation","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Utrecht","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"The Netherlands","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2 July 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"5 July 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"wollic2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/wollic2019.sites.uu.nl\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"60","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"41","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"6","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"68% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2,3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"8","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}