Pages that link to "Item:Q878154"

The following pages link to Uniform interpolation and propositional quantifiers in modal logics (Q878154):

Displaying 24 items.

• Craig interpolation for networks of sentences (Q435205) (← links)
• Second-order propositional modal logic and monadic alternation hierarchies (Q466445) (← links)
• Uniform Lyndon interpolation property in propositional modal logics (Q781510) (← links)
• Uniform interpolation and sequent calculi in modal logic (Q1712936) (← links)
• Uniform interpolation and coherence (Q1740631) (← links)
• Sequent calculi for intuitionistic Gödel-Löb logic (Q1982008) (← 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)
• The G4i analogue of a G3i sequent calculus (Q2106879) (← links)
• A note on constructive interpolation for the multi-modal logic \(K_m\) (Q2133432) (← links)
• Uniform Lyndon interpolation for basic non-normal modal logics (Q2148800) (← links)
• Uniform interpolation via nested sequents (Q2148805) (← 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)
• A Note on Uniform Interpolation Proofs in Modal Deep Inference Calculi (Q3019968) (← links)
• UNIFICATION IN INTERMEDIATE LOGICS (Q3450801) (← links)
• (Q4215595) (← links)
• Sequent Calculi and Interpolation for Non-Normal Modal and Deontic Logics (Q5013620) (← links)
• Extensions of \textsf{K5}: proof theory and uniform Lyndon interpolation (Q6541157) (← links)
• The ghosts of forgotten things: a study on size after forgetting (Q6560989) (← links)
• Deciding dependence in logic and algebra (Q6612812) (← links)
• Common equivalence and size of forgetting from Horn formulae (Q6661056) (← links)