Pages that link to "Item:Q4275691"

The following pages link to A new algebraic semantic approach and some adequate connectives for computation with temporal logic over discrete time (Q4275691):

Displayed 3 items.

• Generalizations of lattices via non-deterministic operators (Q556843) ‎ (← links)
• A hierarchy of temporal logics with past (Q672329) ‎ (← links)
• A temporal negative normal form which preserves implicants and implicates (Q4443401) ‎ (← links)