Pages that link to "Item:Q1902553"
From MaRDI portal
The following pages link to Undefinability of propositional quantifiers in the modal system S4 (Q1902553):
Displayed 25 items.
- Uniform Lyndon interpolation property in propositional modal logics (Q781510) (← links)
- Uniform interpolation and propositional quantifiers in modal logics (Q878154) (← links)
- Interpolation in non-classical logics (Q1024121) (← links)
- Knowledge forgetting: properties and applications (Q1045992) (← links)
- Propositional quantification in the topological semantics for \(\mathbf S4\) (Q1381441) (← links)
- Uniform interpolation and sequent calculi in modal logic (Q1712936) (← links)
- Uniform interpolation and coherence (Q1740631) (← links)
- Model completeness, uniform interpolants and superposition calculus. (With applications to verification of data-aware processes) (Q2051565) (← links)
- Combination of uniform interpolants via Beth definability (Q2090132) (← links)
- Combined covers and Beth definability (Q2096445) (← links)
- Uniform Lyndon interpolation for basic non-normal modal logics (Q2148800) (← links)
- Uniform interpolation via nested sequents (Q2148805) (← links)
- On the logic of belief and propositional quantification (Q2240550) (← links)
- Forgetting in multi-agent modal logics (Q2321251) (← links)
- Uniform interpolation and the existence of sequent calculi (Q2326416) (← links)
- UNIFORM INTERPOLATION IN SUBSTRUCTURAL LOGICS (Q2940884) (← links)
- Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey (Q2970301) (← links)
- Positive Formulas in Intuitionistic and Minimal Logic (Q3455187) (← links)
- The Logical Difference Problem for Description Logic Terminologies (Q3541706) (← links)
- Formal Properties of Modularisation (Q3631354) (← links)
- Mathematical Logic for Life Science Ontologies (Q3638273) (← links)
- μ-programs, uniform interpolation and bisimulation quantifiers for modal logics ★ (Q3647242) (← links)
- Some Formal Semantics for Epistemic Modesty (Q5006835) (← links)
- Pitts' quantifiers are not topological quantification (Q5937836) (← links)
- Substitutions of \(\Sigma_1^0\)-sentences: Explorations between intuitionistic propositional logic and intuitionistic arithmetic (Q5957858) (← links)