Pages that link to "Item:Q1097264"
From MaRDI portal
The following pages link to A decision procedure for combinations of propositional temporal logic and other specialized theories (Q1097264):
Displaying 4 items.
- A decidability result for the model checking of infinite-state systems (Q438572) (← links)
- TABLEAUX: A general theorem prover for modal logics (Q1181709) (← links)
- Efficient decision procedure for propositional projection temporal logic (Q2197530) (← links)
- A Cookbook for Temporal Conceptual Data Modelling with Description Logics (Q2946734) (← links)
