{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T12:37:16Z","timestamp":1740141436227,"version":"3.37.3"},"reference-count":44,"publisher":"Oxford University Press (OUP)","issue":"4","license":[{"start":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T00:00:00Z","timestamp":1559088000000},"content-version":"vor","delay-in-days":1,"URL":"https:\/\/academic.oup.com\/journals\/pages\/open_access\/funder_policies\/chorus\/standard_publication_model"}],"funder":[{"DOI":"10.13039\/501100001824","name":"Czech Science Foundation","doi-asserted-by":"publisher","award":["GJ18-19162Y"],"award-info":[{"award-number":["GJ18-19162Y"]}],"id":[{"id":"10.13039\/501100001824","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019,7,25]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>We provide a complete binary implicational axiomatization of the positive fragment of propositional dynamic logic (PDL). The intended application of this result are completeness proofs for non-classical extensions of positive PDL. Two examples are discussed in this article, namely, a paraconsistent extension with modal De Morgan negation and a substructural extension with the residuated operators of the non-associative Lambek calculus. Informal interpretations of these two extensions are outlined.<\/jats:p>","DOI":"10.1093\/jigpal\/jzz017","type":"journal-article","created":{"date-parts":[[2019,4,16]],"date-time":"2019-04-16T11:19:26Z","timestamp":1555413566000},"page":"522-542","source":"Crossref","is-referenced-by-count":4,"title":["From positive PDL to its non-classical extensions"],"prefix":"10.1093","volume":"27","author":[{"given":"Igor","family":"Sedl\u00e1r","sequence":"first","affiliation":[{"name":"The Czech Academy of Sciences, Institute of Computer Science, Pod Vod\u00e1renskou v\u011b\u017e\u00ed, Prague 8, Czech Republic"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"V\u00edt","family":"Pun\u010doch\u00e1\u0159","sequence":"additional","affiliation":[{"name":"The Czech Academy of Sciences, Institute of Computer Science, Pod Vod\u00e1renskou v\u011b\u017e\u00ed, Prague 8, Czech Republic"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"286","published-online":{"date-parts":[[2019,5,28]]},"reference":[{"key":"2019080610345903300_ref1","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139172752","volume-title":"Term Rewriting and All That","author":"Baader","year":"1998"},{"key":"2019080610345903300_ref2","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1023\/B:SYNT.0000024912.56773.5e","article-title":"Logics for epistemic programs","volume":"139","author":"Baltag","year":"2004","journal-title":"Synthese"},{"key":"2019080610345903300_ref3","first-page":"6","article-title":"Modeling costs of program runs in fuzzified propositional dynamic logic","volume-title":"Doktorandsk\u00e9 dny \u201808","author":"B\u011bhounek","year":"2008"},{"key":"2019080610345903300_ref4","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1007\/978-94-010-1161-7_2","article-title":"A useful four-valued logic","volume-title":"Modern Uses of Multiple-Valued Logic","author":"Belnap","year":"1977"},{"key":"2019080610345903300_ref5","article-title":"How a computer should think","volume-title":"Contemporary Aspects of Philosophy","author":"Belnap","year":"1977"},{"key":"2019080610345903300_ref6","doi-asserted-by":"crossref","first-page":"1815","DOI":"10.1093\/logcom\/exv009","article-title":"Epistemic logics for sceptical agents","volume":"26","author":"B\u00edlkov\u00e1","year":"2016","journal-title":"Journal of Logic and Computation"},{"key":"2019080610345903300_ref7","first-page":"107","article-title":"Negation: A Notion in Focus","volume-title":"Categorial grammars with negative information","author":"Buszkowski","year":"1996"},{"key":"2019080610345903300_ref8","first-page":"45","article-title":"Nonassociative Lambek Calculus with additives and context-free languages","volume-title":"Languages: From Formal to Natural: Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday","author":"Buszkowski","year":"2009"},{"key":"2019080610345903300_ref9","first-page":"305","article-title":"Towards intuitionistic dynamic logic","volume":"15","author":"Degen","year":"2006","journal-title":"Logic and Logical Philosophy"},{"key":"2019080610345903300_ref10","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1002\/malq.19920380113","article-title":"A brief survey of frames for the Lambek calculus","volume":"38","author":"Do\u0161en","year":"1992","journal-title":"Mathematical Logic Quarterly"},{"key":"2019080610345903300_ref11","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1007\/BF01061239","article-title":"Positive modal logic","volume":"55","author":"Dunn","year":"1995","journal-title":"Studia Logica"},{"key":"2019080610345903300_ref12","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1007\/978-94-015-9309-0_2","article-title":"A comparative study of various model-theoretic treatments of negation: a history of formal negation","volume-title":"What is Negation?,","author":"Dunn","year":"1999"},{"key":"2019080610345903300_ref13","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198531920.001.0001","volume-title":"Algebraic Methods in Philosophical Logic","author":"Dunn","year":"2001"},{"key":"2019080610345903300_ref14","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5803.001.0001","volume-title":"Reasoning About Knowledge","author":"Fagin","year":"1995"},{"key":"2019080610345903300_ref15","doi-asserted-by":"crossref","first-page":"194","DOI":"10.1016\/0022-0000(79)90046-1","article-title":"Propositional dynamic logic of regular programs","volume":"18","author":"Fischer","year":"1979","journal-title":"Journal of Computer and System Sciences"},{"volume-title":"Residuated Lattices: An Algebraic Glimpse at Substructural Logics","year":"2007","author":"Galatos","key":"2019080610345903300_ref16"},{"key":"2019080610345903300_ref17","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2516.001.0001","volume-title":"Dynamic Logic","author":"Harel","year":"2000"},{"key":"2019080610345903300_ref18","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1007\/s10849-005-9008-4","article-title":"Means-end relations and a measure of efficacy","volume":"15","author":"Hughes","year":"2006","journal-title":"Journal of Logic, Language and Information"},{"key":"2019080610345903300_ref19","doi-asserted-by":"crossref","DOI":"10.1016\/j.jal.2016.04.004","article-title":"Intuitionistic common knowledge or belief","volume-title":"Journal of Applied Loigc","author":"J\u00e4ger","year":"2016"},{"key":"2019080610345903300_ref20","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1007\/BF00171695","article-title":"The Lambek calculus enriched with additional connectives","volume":"1","author":"Kanazawa","year":"1992","journal-title":"Journal of Logic, Language, and Information"},{"volume-title":"Frames and Labels. A Modal Analysis of Categorial Inference","year":"1994","author":"Kurtonina","key":"2019080610345903300_ref21"},{"key":"2019080610345903300_ref22","first-page":"399","article-title":"Categorial inference and modal logic","volume":"7","author":"Kurtonina","year":"1998","journal-title":"Journal of Logic"},{"key":"2019080610345903300_ref23","first-page":"166","article-title":"On the calculus of syntactic types","author":"Lambek","year":"1961"},{"key":"2019080610345903300_ref24","first-page":"356","article-title":"Proof theoretic methodology for propositional dynamic logic","author":"Leivant","year":"1981"},{"key":"2019080610345903300_ref25","doi-asserted-by":"crossref","first-page":"294","DOI":"10.1007\/978-3-540-48061-7_36","article-title":"Many-valued dynamic logic for qualitative decision theory","volume-title":"New Directions in Rough Sets, Data Mining, and Granular-Soft Computing","author":"Liau","year":"1999"},{"key":"2019080610345903300_ref26","doi-asserted-by":"crossref","first-page":"1011","DOI":"10.1016\/j.jlamp.2016.03.004","article-title":"An exercise on the generation of many-valued dynamic logics","volume":"85","author":"Madeira","year":"2016","journal-title":"Journal of Logical and Algebraic Methods in Programming"},{"key":"2019080610345903300_ref27","doi-asserted-by":"crossref","first-page":"130","DOI":"10.1007\/978-3-319-15075-8_9","article-title":"A dynamic logic for every season","volume-title":"Formal Methods: Foundations and Applications","author":"Madeira","year":"2015"},{"key":"2019080610345903300_ref28","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1305\/ndjfl\/1093637776","article-title":"A different approach to deontic logic: deontic logic viewed as a variant of dynamic logic","volume":"29","author":"Meyer","year":"1987","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"2019080610345903300_ref29","doi-asserted-by":"crossref","first-page":"349","DOI":"10.1007\/BF00159344","article-title":"Multimodal linguistic inference","volume":"5","author":"Moortgat","year":"1996","journal-title":"Journal of Logic, Language and Information"},{"key":"2019080610345903300_ref30","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-31555-8","volume-title":"The Logic of Categorial Grammars","author":"Moot","year":"2012"},{"key":"2019080610345903300_ref31","doi-asserted-by":"crossref","first-page":"847","DOI":"10.2977\/prims\/1195183579","article-title":"Semantical analysis of constructive PDL","volume":"18","author":"Nishimura","year":"1982","journal-title":"Publications of the Research Institute for Mathematical Sciences"},{"key":"2019080610345903300_ref32","doi-asserted-by":"crossref","first-page":"279","DOI":"10.3166\/jancl.20.279-304","article-title":"Modal logics with Belnapian truth values","volume":"20","author":"Odintsov","year":"2010","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"2019080610345903300_ref33","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-017-3179-9","volume-title":"Substructural logics: a Primer","author":"Paoli","year":"2002"},{"key":"2019080610345903300_ref34","first-page":"109","article-title":"Semantical considerations on Floyd-Hoare logic","volume-title":"7th Annual Symposium on Foundations of Computer Science","author":"Pratt","year":"1976"},{"volume-title":"An Introduction to Substrucutral Logics","year":"2000","author":"Restall","key":"2019080610345903300_ref35"},{"key":"2019080610345903300_ref36","doi-asserted-by":"crossref","first-page":"256","DOI":"10.1080\/11663081.2015.1094313","article-title":"Substructural epistemic logics","volume":"25","author":"Sedl\u00e1r","year":"2015","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"2019080610345903300_ref37","article-title":"Propositional dynamic logic with Belnapian truth values","volume-title":"Advances in Modal Logic","author":"Sedl\u00e1r","year":"2016"},{"key":"2019080610345903300_ref38","first-page":"239","article-title":"Non-classical PDL on the cheap","volume-title":"The Logica Yearbook 2016","author":"Sedl\u00e1r","year":"2017"},{"key":"2019080610345903300_ref39","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1007\/s11229-010-9834-z","article-title":"Epistemic closure and commutative, nonassociative residuated structures","volume":"190","author":"Sequoiah-Grayson","year":"2013","journal-title":"Synthese"},{"key":"2019080610345903300_ref40","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1093\/logcom\/5.1.27","article-title":"Axiomatization, declarative semantics and operational semantics of passive and active updates in logic databases","volume":"5","author":"Spruit","year":"1995","journal-title":"Journal of Logic and Computation"},{"key":"2019080610345903300_ref41","doi-asserted-by":"crossref","first-page":"377","DOI":"10.1016\/j.jal.2014.04.001","article-title":"Propositional dynamic logic for searching games with errors","volume":"12","author":"Teheux","year":"2014","journal-title":"Journal of Applied Logic"},{"key":"2019080610345903300_ref42","first-page":"207","article-title":"On the negation of action types: constructive concurrent PDL","volume-title":"Logic Methodology and Philosophy of Science","author":"Wansing","year":"2005"},{"key":"2019080610345903300_ref43","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1093\/jigpal\/jzm012","article-title":"A note on negation in categorial grammar","volume":"15","author":"Wansing","year":"2007","journal-title":"Logic Journal of the IGPL"},{"key":"2019080610345903300_ref44","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.apal.2004.12.001","article-title":"Tableaux for constructive concurrent dynamic logic","volume":"135","author":"Wijesekera","year":"2005","journal-title":"Annals of Pure and Applied Logic"}],"container-title":["Logic Journal of the IGPL"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/jigpal\/advance-article-pdf\/doi\/10.1093\/jigpal\/jzz017\/28711578\/jzz017.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"http:\/\/academic.oup.com\/jigpal\/article-pdf\/27\/4\/522\/29102739\/jzz017.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,16]],"date-time":"2024-07-16T23:15:27Z","timestamp":1721171727000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/jigpal\/article\/27\/4\/522\/5498572"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,5,28]]},"references-count":44,"journal-issue":{"issue":"4","published-online":{"date-parts":[[2019,5,28]]},"published-print":{"date-parts":[[2019,7,25]]}},"URL":"https:\/\/doi.org\/10.1093\/jigpal\/jzz017","relation":{},"ISSN":["1367-0751","1368-9894"],"issn-type":[{"type":"print","value":"1367-0751"},{"type":"electronic","value":"1368-9894"}],"subject":[],"published-other":{"date-parts":[[2019,8]]},"published":{"date-parts":[[2019,5,28]]}}}