The following pages link to Alexander Kurz (Q299181):
Displaying 50 items.
- (Q197935) (redirect page) (← links)
- Relation lifting, a survey (Q299182) (← links)
- Modalities in the Stone age: a comparison of coalgebraic logics (Q418820) (← links)
- Presenting functors on many-sorted varieties and applications (Q618170) (← links)
- On coalgebras over algebras (Q639641) (← links)
- Stone coalgebras (Q703523) (← links)
- Coalgebraic representations of distributive lattices with operators (Q869666) (← links)
- On institutions for modular coalgebraic specifications. (Q1603816) (← links)
- Software tool support for modular reasoning in modal logics of actions (Q1791146) (← links)
- Observational logic, constructor-based logic, and their duality. (Q1874280) (← links)
- Enriched logical connections (Q2392097) (← links)
- Anomalous magnetic moment with heavy virtual leptons (Q2440300) (← links)
- Weak factorizations, fractions and homotopies (Q2487462) (← links)
- (Q2771053) (← links)
- Equational Coalgebraic Logic (Q2805164) (← links)
- Definability, Canonical Models, Compactness for Finitary Coalgebraic Modal Logic (Q2842556) (← links)
- Modal Predicates and Coequations (Q2842557) (← links)
- (Q2843727) (← links)
- (Q2847816) (← links)
- (Q2847817) (← links)
- Positive Fragments of Coalgebraic Logics (Q2848939) (← links)
- Relation lifting, with an application to the many-valued cover modality (Q2856480) (← links)
- Dynamic Epistemic Logic Displayed (Q2859101) (← links)
- Epistemic Updates on Algebras (Q2871469) (← links)
- Nominal Coalgebraic Data Types with Applications to Lambda Calculus (Q2871472) (← links)
- Functorial Coalgebraic Logic: The Case of Many-sorted Varieties (Q2873668) (← links)
- On Nominal Regular Languages with Binders (Q2892775) (← links)
- (Q2904060) (← links)
- Completeness for the coalgebraic cover modality (Q2904618) (← links)
- Strongly Complete Logics for Coalgebras (Q2914235) (← links)
- An Alpha-Corecursion Principle for the Infinitary Lambda Calculus (Q2914680) (← links)
- A Characterisation of Languages on Infinite Alphabets with Nominal Regular Expressions (Q2915170) (← links)
- On Coalgebras over Algebras (Q2919449) (← links)
- Families of Symmetries as Efficient Models of Resource Binding (Q2919450) (← links)
- A proof-theoretic semantic analysis of dynamic epistemic logic (Q2957974) (← links)
- Multi-type display calculus for dynamic epistemic logic (Q2957975) (← links)
- Multi-type display calculus for propositional dynamic logic (Q2957976) (← links)
- Equational presentations of functors and monads (Q3005991) (← links)
- Coalgebra and Logic: A Brief Overview (Q3056294) (← links)
- (Q3085167) (← links)
- Finitary Functors: From Set to Preord and Poset (Q3090863) (← links)
- Relation Liftings on Preorders and Posets (Q3090865) (← links)
- An institutional approach to positive coalgebraic logic (Q3133183) (← links)
- Positive fragments of coalgebraic logics (Q3196349) (← links)
- On universal algebra over nominal sets (Q3559973) (← links)
- Bitopological duality for distributive lattices and Heyting algebras (Q3564341) (← links)
- Free Modal Algebras: A Coalgebraic Perspective (Q3612489) (← links)
- Higher Dimensional Trees, Algebraically (Q3612493) (← links)
- The Goldblatt-Thomason Theorem for Coalgebras (Q3612499) (← links)
- (Q4222950) (← links)
