Pages that link to "Item:Q1346245"
From MaRDI portal
The following pages link to An algebraic theory of normal forms (Q1346245):
Displayed 25 items.
- The Lyndon property and uniform interpolation over the Grzegorczyk logic (Q467667) (← links)
- The bounded proof property via step algebras and step frames (Q741087) (← links)
- Uniform Lyndon interpolation property in propositional modal logics (Q781510) (← links)
- Combining word problems through rewriting in categories with products (Q1398463) (← links)
- Uniform interpolation and coherence (Q1740631) (← links)
- An open mapping theorem for finitely copresented Esakia spaces (Q1744600) (← links)
- Completeness for the modal \(\mu\)-calculus: separating the combinatorics from the dynamics (Q1749477) (← links)
- Undefinability of propositional quantifiers in the modal system S4 (Q1902553) (← 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 interpolation via nested sequents (Q2148805) (← links)
- Forgetting in multi-agent modal logics (Q2321251) (← links)
- Modal operators on compact regular frames and de Vries algebras. (Q2350317) (← links)
- Finite models constructed from canonical formulas (Q2462682) (← links)
- Approximations of modal logics: \(\mathbf K\) and beyond (Q2478556) (← links)
- Free Heyting Algebras: Revisited (Q2888491) (← links)
- Some modal aspects of XPath (Q2901192) (← links)
- Continuity, freeness, and filtrations (Q2901195) (← links)
- FORMULAS IN MODAL LOGIC <b>S4</b> (Q3066780) (← links)
- ELIMINATING CONCEPTS AND ROLES FROM ONTOLOGIES IN EXPRESSIVE DESCRIPTIVE LOGICS (Q3462270) (← links)
- A sheaf representation and duality for finitely presented Heyting algebras (Q4858826) (← links)
- (Q5101337) (← links)
- COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS (Q5241231) (← links)
- Canonical Extensions, Esakia Spaces, and Universal Models (Q5255790) (← links)