Pages that link to "Item:Q5740619"

The following pages link to Embedding theorems for LTL and its variants (Q5740619):

Displaying 2 items.

• Extending paraconsistent quantum logic: a single‐antecedent/succedent system approach (Q5109233) (← links)
• Refutation-aware Gentzen-style calculi for propositional until-free linear-time temporal logic (Q6067745) (← links)