Pages that link to "Item:Q3006006"
From MaRDI portal
The following pages link to POLYNOMIAL RING CALCULUS FOR MODAL LOGICS: A NEW SEMANTICS AND PROOF METHOD FOR MODALITIES (Q3006006):
Displaying 5 items.
- Non-deterministic semantics in polynomial format (Q281146) (← links)
- The method of polynomial ring calculus and its potentialities (Q897932) (← links)
- Reconciling First-Order Logic to Algebra (Q3305345) (← links)
- On polynomial semantics for propositional logics (Q4586158) (← links)
- Polynomial semantics for modal logics (Q5243399) (← links)