Pages that link to "Item:Q1346245"
From MaRDI portal
The following pages link to An algebraic theory of normal forms (Q1346245):
Displaying 35 items.
- The Lyndon property and uniform interpolation over the Grzegorczyk logic (Q467667) (← links)
- Hypernormal form theory: foundations and algorithms (Q704228) (← 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)
- Normal forms for algebras of connections. (Q1853455) (← 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)
- A normal form supplement to the Oettli-Prager theorem (Q2484025) (← links)
- Semantic normal form (Q2752418) (← 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)
- On analytical properties of normal forms (Q3841291) (← links)
- (Q4240243) (← 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)
- On generalizing free algebras for a functor (Q5300585) (← links)
- On the normal form of an element of a free Stasheff algebra (Q5950857) (← links)
- Extensions of \textsf{K5}: proof theory and uniform Lyndon interpolation (Q6541157) (← links)
- A Cook's tour of duality in logic: from quantifiers, through Vietoris, to measures (Q6612780) (← links)
