Modal logics with non-rigid propositional designators
From MaRDI portal
Publication:6562528
DOI10.1007/978-3-031-45558-2_4MaRDI QIDQ6562528
Publication date: 26 June 2024
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- A logic for reasoning about ambiguity
- First-order intensional logic
- Types, tableaus, and Gödel's God
- The expressive power of second-order propositional modal logic
- Opaque updates
- Quantifier-free epistemic term-modal logic with assignment operator
- On the logic of belief and propositional quantification
- Rigid first-order hybrid logic
- A note on algebraic semantics for \(\mathsf {S5}\) with propositional quantifiers
- Ambiguous language and common priors
- HYPE: a system of hyperintensional logic (with an application to semantic paradoxes)
- Hyperintensional logics for everyone
- Propositional quantifiers in modal logic1
- Modal Logics Between Propositional and First-order
- Updating for externalists
- \textit{De re} updates
This page was built for publication: Modal logics with non-rigid propositional designators
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6562528)
