Pages that link to "Item:Q5960007"

The following pages link to Naming worlds in modal and temporal logic (Q5960007):

Displaying 3 items.

• Temporal reference in linear tense logic (Q965860) (← links)
• The computational complexity of the satisfiability of modal Horn clauses for modal propositional logics (Q1329742) (← links)
• Truth-values as labels: a general recipe for labelled deduction (Q3643258) (← links)