The following pages link to (Q3677141):
Displaying 5 items.
- Dynamic topological logic (Q705534) (← links)
- The modal logic of continuous functions on Cantor space (Q862352) (← links)
- Concerning the semantic consequence relation in first-order temporal logic (Q1090673) (← links)
- Arithmetical axiomatization of first-order temporal logic (Q1101100) (← links)
- A complete axiomatic characterization of first-order temporal logic of linear time (Q1102941) (← links)
