The following pages link to Unification through projectivity (Q4381867):
Displaying 41 items.
- Almost structural completeness; an algebraic approach (Q278762) (← links)
- Free and projective bimodal symmetric Gödel algebras (Q300560) (← links)
- Unification and admissible rules for paraconsistent minimal Johanssons' logic J and positive intuitionistic logic \(\mathbf{IPC}^+\) (Q385070) (← links)
- Unification, finite duality and projectivity in varieties of Heyting algebras (Q598304) (← links)
- Best unifiers in transitive modal logics (Q647403) (← links)
- Unification in linear temporal logic LTL (Q716499) (← links)
- Temporal logic with accessibility temporal relations generated by time states themselves (Q779153) (← links)
- Multiagent temporal logics with multivaluations (Q1617988) (← links)
- The admissible rules of \(\mathsf{BD}_2\) and \(\mathsf{GSc}\) (Q1782237) (← links)
- Best solving modal equations (Q1971794) (← links)
- Projective algebras and primitive subquasivarieties in varieties with factor congruences (Q1991598) (← links)
- Projectivity in (bounded) commutative integral residuated lattices (Q2108529) (← links)
- Multiagent temporal logics, unification problems, and admissibilities (Q2160194) (← links)
- Multi-agent logics with dynamic accessibly relations, projective unifiers (Q2165613) (← links)
- Multi-agent logics with multi-valuations and intensional logical operations (Q2207025) (← links)
- Unification in pretabular extensions of S4 (Q2239389) (← links)
- Distributive bilattices from the perspective of natural duality theory. (Q2343033) (← links)
- Unification and projectivity in De Morgan and Kleene algebras. (Q2510377) (← links)
- Finitary unification in locally tabular modal logics characterized (Q2667999) (← links)
- Projectivity and unification in substructural logics of generalized rotations (Q2677856) (← links)
- Extending Unification in $\mathcal{EL}$ to Disunification: The Case of Dismatching and Local Disunification (Q2974785) (← links)
- A Note on Extensions: Admissible Rules via Semantics (Q3455846) (← links)
- (Q4963142) (← links)
- DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV (Q5009678) (← links)
- Multi-Agents’ Temporal Logic using Operations of Static Agents’ Knowledge (Q5068380) (← links)
- E-Unification based on Generalized Embedding (Q5084482) (← links)
- Ideal Related Algebras and Their Logics Extended Abstract (Q5098744) (← links)
- Free Heyting algebra endomorphisms: Ruitenburg’s Theorem and beyond (Q5139276) (← links)
- (Q5146272) (← links)
- Filtering unification and most general unifiers in modal logic (Q5311759) (← links)
- UNIFICATION IN SUPERINTUITIONISTIC PREDICATE LOGICS AND ITS APPLICATIONS (Q5381031) (← links)
- Flat algebras and the translation of universal Horn logic to equational logic (Q5387303) (← links)
- Unification and Inference Rules in the Multi-modal Logic of Knowledge and Linear Time LTK (Q5852970) (← links)
- Unification in Linear Modal Logic on Non-transitive Time with the Universal Modality (Q5853178) (← links)
- Dynamic temporal logical operations in multi-agent logics (Q6072992) (← links)
- Structural and universal completeness in algebra and logic (Q6145037) (← links)
- Admissibility and unification in the modal logics related to S4.2 (Q6153443) (← links)
- Multi-agent temporal logics, information, unification, and projectivity (Q6539755) (← links)
- Linear step-like logic of knowledge \(\mathcal{LTK}.{sl} \) (Q6587464) (← links)
- About the unification types of modal logics (Q6612813) (← links)
- Unification types and union splittings in intermediate logics (Q6614043) (← links)
