Pages that link to "Item:Q5243399"
From MaRDI portal
The following pages link to Polynomial semantics for modal logics (Q5243399):
Displaying 10 items.
- Non-deterministic semantics in polynomial format (Q281146) (← links)
- Polynomials, fragments of temporal logic and the variety DA over traces (Q880176) (← links)
- Axiomatization and polynomial solvability of strictly positive fragments of certain modal logics (Q1668101) (← links)
- Polynomial ring calculus for modalities (Q3133185) (← links)
- Polarized Montagovian Semantics for the Lambek-Grishin Calculus (Q3167297) (← links)
- (Q3204445) (← links)
- Polynomials, Fragments of Temporal Logic and the Variety DA over Traces (Q3617044) (← links)
- Algebraic polymodal logic: a survey (Q4511600) (← links)
- Multiversal Polymorphic Algebraic Theories: Syntax, Semantics, Translations, and Equational Logic (Q5271090) (← links)
- (Q5465440) (← links)