Pages that link to "Item:Q2880593"
From MaRDI portal
The following pages link to Designing tableau-like axiomatization for propositional linear temporal logic at home of Arthur Prior (Q2880593):
Displaying 3 items.
The following pages link to Designing tableau-like axiomatization for propositional linear temporal logic at home of Arthur Prior (Q2880593):
Displaying 3 items.