Inquisitive Propositional Dynamic Logic

Authors: Vít Punčochář, Igor Sedlár
Publication year: 2021
Publication type: Článek v odborném periodiku
Periodical: Journal of Logic, Language, and Information
Projects: Non-classical logical models of information dynamics
Bibliographic citation: PUNČOCHÁŘ, Vít, SEDLÁR, Igor. Inquisitive Propositional Dynamic Logic. Journal of Logic, Language, and Information. 2021, 30(1), 91-116. ISSN 0925-8531. E-ISSN 1572-9583
Dostupné z: doi:10.1007/s10849-020-09326-3.
DOI: 10.1007/s10849-020-09326-3
ID: 537581
Online record: View online record

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.