Inquisitive propositional dynamic logic

DOI10.1007/S10849-020-09326-3MaRDI QIDQ2035846zbMATH OpenOpenAlexFDO

Authors Vít Punčochář, Igor Sedlár

Publication date 25 June 2021

Published in Journal of Logic, Language and Information (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10849-020-09326-3

zbMATH Keywords

inquisitive semanticslogic of programslogic of questionspropositional dynamic logic

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Logic of natural languages (03B65) Logic in computer science (03B70)

Recommendations

• On combinations of propositional dynamic logic and doxastic modal logics
• A practical decision method for propositional dynamic logic (preliminary report)
• scientific article; zbMATH DE number 2196600
• A dynamic logic of interrogative inquiry
• Propositional inquisitive logic: a survey

Cites work

• A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic
• Action models in inquisitive logic
• scientific article; zbMATH DE number 1556014 (Why is no real title available?)
• Inquisitive dynamic epistemic logic
• Inquisitive logic
• Inquisitive semantics
• Logics for epistemic programs
• Propositional dynamic logic of regular programs
• Propositional inquisitive logic: a survey
• Questions as information types

Cited in

(11)

• On combinations of propositional dynamic logic and doxastic modal logics
• Propositional inquisitive logic: a survey
• A propositional dynamic logic for instantial neighborhood models
• The dynamic logic of stating and asking: a study of inquisitive dynamic modalities
• Situated epistemic updates
• Inquisitive logic as an epistemic logic of knowing how
• A propositional dynamic logic for instantial neighborhood semantics
• Free choice in modal inquisitive logic
• scientific article; zbMATH DE number 2196600 (Why is no real title available?)
• Structural completeness and superintuitionistic inquisitive logics
• Inquisitive split and structural completeness

This page was built for publication: Inquisitive propositional dynamic logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2035846)