On the axiomatizability of some first-order spatio-temporal theories (Q514577)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On the axiomatizability of some first-order spatio-temporal theories |
scientific article |
Statements
On the axiomatizability of some first-order spatio-temporal theories (English)
0 references
9 March 2017
0 references
logic and relativity
0 references
first-order spatio-temporal logic
0 references
axiomatizability
0 references
causality relations
0 references
0 references
0 references
