Inquisitive propositional dynamic logic

DOI10.1007/S10849-020-09326-3zbMath1496.03135OpenAlexW3120619740MaRDI QIDQ2035846

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

propositional dynamic logicinquisitive semanticslogic of questionslogic of programs

Mathematics Subject Classification ID

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

Related Items (4)

Situated epistemic updates ⋮ Inquisitive logic as an epistemic logic of knowing how ⋮ Structural completeness and superintuitionistic inquisitive logics ⋮ Free choice in modal inquisitive logic

Cites Work

• Unnamed Item
• Inquisitive dynamic epistemic logic
• Inquisitive logic
• A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic
• Propositional dynamic logic of regular programs
• Propositional inquisitive logic: a survey
• Questions as information types
• Logics for epistemic programs
• Action models in inquisitive logic
• Inquisitive Semantics

This page was built for publication: Inquisitive propositional dynamic logic