Pages that link to "Item:Q4586158"
From MaRDI portal
The following pages link to On polynomial semantics for propositional logics (Q4586158):
Displaying 6 items.
- Polynomials, fragments of temporal logic and the variety DA over traces (Q880176) (← links)
- Polynomial algorithm of limited propositional deduction (Q1962496) (← links)
- A logic-algebraic tool for reasoning with knowledge-based systems (Q1994361) (← links)
- (Q3204445) (← links)
- Polynomials, Fragments of Temporal Logic and the Variety DA over Traces (Q3617044) (← links)
- Polynomial semantics for modal logics (Q5243399) (← links)