@article{PuncocharSedlar:21,
	abstract = {This paper combines propositional dynamic logic (PDL) with propositional inquisitive logic (InqB). The result of this combination is a logical system (InqPDL) that conservatively extends both PDL and InqB, and, moreover, allows for an interaction of the question-forming operator from InqB with the structured modalities from PDL. We study this system from a semantic as well as a syntactic point of view. These two perspectives are linked via a completeness proof, which also shows that InqPDL is decidable.

},
	author = {Pun{\v c}och{\'a}{\v r}, V{\'\i}t and Sedl{\'a}r, Igor},
	date-added = {2021-08-17 00:00:00 +0000},
	date-modified = {2021-08-17 00:00:00 +0000},
	doi = {10.1007/s10849-020-09326-3},
	journal = {Journal of Logic, Language and Information},
	keywords = {inquisitive logic},
	pages = {91-116},
	title = {Inquisitive Propositional Dynamic Logic},
	url = {https://link.springer.com/article/10.1007%2Fs10849-020-09326-3},
	volume = {30},
	year = {2021},
	Bdsk-Url-1 = {https://link.springer.com/article/10.1007%2Fs10849-020-09326-3},
	Bdsk-Url-2 = {https://doi.org/10.1007/s10849-020-09326-3}}

{"_id":"MT8DNut6g5L3sLoYb","bibbaseid":"puncochr-sedlr-inquisitivepropositionaldynamiclogic-2021","author_short":["Pun ̌cochá ̌r, V.","Sedlár, I."],"bibdata":{"bibtype":"article","type":"article","abstract":"This paper combines propositional dynamic logic (PDL) with propositional inquisitive logic (InqB). The result of this combination is a logical system (InqPDL) that conservatively extends both PDL and InqB, and, moreover, allows for an interaction of the question-forming operator from InqB with the structured modalities from PDL. We study this system from a semantic as well as a syntactic point of view. These two perspectives are linked via a completeness proof, which also shows that InqPDL is decidable. ","author":[{"propositions":[],"lastnames":["Pun ̌cochá ̌r"],"firstnames":["Vı́t"],"suffixes":[]},{"propositions":[],"lastnames":["Sedlár"],"firstnames":["Igor"],"suffixes":[]}],"date-added":"2021-08-17 00:00:00 +0000","date-modified":"2021-08-17 00:00:00 +0000","doi":"10.1007/s10849-020-09326-3","journal":"Journal of Logic, Language and Information","keywords":"inquisitive logic","pages":"91-116","title":"Inquisitive Propositional Dynamic Logic","url":"https://link.springer.com/article/10.1007%2Fs10849-020-09326-3","volume":"30","year":"2021","bdsk-url-1":"https://link.springer.com/article/10.1007%2Fs10849-020-09326-3","bdsk-url-2":"https://doi.org/10.1007/s10849-020-09326-3","bibtex":"@article{PuncocharSedlar:21,\n\tabstract = {This paper combines propositional dynamic logic (PDL) with propositional inquisitive logic (InqB). The result of this combination is a logical system (InqPDL) that conservatively extends both PDL and InqB, and, moreover, allows for an interaction of the question-forming operator from InqB with the structured modalities from PDL. We study this system from a semantic as well as a syntactic point of view. These two perspectives are linked via a completeness proof, which also shows that InqPDL is decidable.\n\n},\n\tauthor = {Pun{\\v c}och{\\'a}{\\v r}, V{\\'\\i}t and Sedl{\\'a}r, Igor},\n\tdate-added = {2021-08-17 00:00:00 +0000},\n\tdate-modified = {2021-08-17 00:00:00 +0000},\n\tdoi = {10.1007/s10849-020-09326-3},\n\tjournal = {Journal of Logic, Language and Information},\n\tkeywords = {inquisitive logic},\n\tpages = {91-116},\n\ttitle = {Inquisitive Propositional Dynamic Logic},\n\turl = {https://link.springer.com/article/10.1007%2Fs10849-020-09326-3},\n\tvolume = {30},\n\tyear = {2021},\n\tBdsk-Url-1 = {https://link.springer.com/article/10.1007%2Fs10849-020-09326-3},\n\tBdsk-Url-2 = {https://doi.org/10.1007/s10849-020-09326-3}}\n\n","author_short":["Pun ̌cochá ̌r, V.","Sedlár, I."],"key":"PuncocharSedlar:21","id":"PuncocharSedlar:21","bibbaseid":"puncochr-sedlr-inquisitivepropositionaldynamiclogic-2021","role":"author","urls":{"Paper":"https://link.springer.com/article/10.1007%2Fs10849-020-09326-3"},"keyword":["inquisitive logic"],"metadata":{"authorlinks":{}},"downloads":3},"bibtype":"article","biburl":"https://projects.illc.uva.nl/inquisitivesemantics/assets/files/papers.bib","dataSources":["LaLDs2mrYhQpgH6Lk"],"keywords":["inquisitive logic"],"search_terms":["inquisitive","propositional","dynamic","logic","pun ̌cochá ̌r","sedlár"],"title":"Inquisitive Propositional Dynamic Logic","year":2021,"downloads":3}