Pages that link to "Item:Q4511600"
From MaRDI portal
The following pages link to Algebraic polymodal logic: a survey (Q4511600):
Displaying 15 items.
- A survey of some recent results on spectrum exchangeability in polyadic inductive logic (Q408310) (← links)
- Categoricity spectra for polymodal algebras (Q514501) (← links)
- Computable isomorphisms of Boolean algebras with operators (Q694494) (← links)
- Mathematical modal logic: A view of its evolution (Q1422628) (← links)
- Expansions of dually pseudocomplemented Heyting algebras (Q1680519) (← links)
- Interpreted systems and Kripke models for multiagent systems from a categorical perspective (Q1882902) (← links)
- Existence of certain finite relation algebras implies failure of omitting types for \(L_n\) (Q1981982) (← links)
- Reasoning about distributed information with infinitely many agents (Q2043805) (← links)
- Duality for double quasioperator algebras via their canonical extensions (Q2454636) (← links)
- Frame constructions, truth invariance and validity preservation in many-valued modal logic (Q3647234) (← links)
- Interpolation in Algebraizable Logics Semantics for Non-Normal Multi-Modal Logic (Q4236058) (← links)
- (Q4787880) (← links)
- Polynomial semantics for modal logics (Q5243399) (← links)
- Multiversal Polymorphic Algebraic Theories: Syntax, Semantics, Translations, and Equational Logic (Q5271090) (← links)
- Algebraic Logic, Where Does it Stand Today? (Q5472642) (← links)
