Pages that link to "Item:Q1902553"

The following pages link to Undefinability of propositional quantifiers in the modal system S4 (Q1902553):

Displaying 34 items.

• A simple embedding of T into double S5 (Q558415) (← links)
• 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)
• (Q3329437) (← links)
• Positive Formulas in Intuitionistic and Minimal Logic (Q3455187) (← links)
• The Logical Difference Problem for Description Logic Terminologies (Q3541706) (← links)
• Untestable Properties Expressible with Four First-Order Quantifiers (Q3564875) (← 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)
• A modal view of linear logic (Q4314678) (← 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)
• Extensions of \textsf{K5}: proof theory and uniform Lyndon interpolation (Q6541157) (← links)
• KD45 with propositional quantifiers (Q6559161) (← links)
• Proof theory for Lax Logic (Q6612814) (← links)
• Universal proof theory: semi-analytic rules and Craig interpolation (Q6614044) (← links)
• Combining intuitionistic and classical propositional logic: Gentzenization and Craig interpolation (Q6636378) (← links)