Inquisitive Propositional Dynamic Logic

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 str...

Full description

Saved in:
Bibliographic Details
Published in:Journal of logic, language, and information language, and information, 2021-03, Vol.30 (1), p.91-116
Main Authors: Punčochář, Vit, Sedlár, Igor
Format: Article
Language:English
Subjects:
Education
Information Systems Applications (incl.Internet)
Logic
Philosophy
Semantics
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
ISSN:0925-8531
1572-9583
DOI:10.1007/s10849-020-09326-3