Highly Influenced

# Logical Axiomatizations of Space-time . Samples from the Literature

@inproceedings{Andrka2005LogicalAO, title={Logical Axiomatizations of Space-time . Samples from the Literature}, author={Hajnal Andr{\'e}ka and Judit X. Madar{\'a}sz and Istv{\'a}n N{\'e}meti}, year={2005} }

- Published 2005

We study relativity theory as a theory in the sense of mathematical logic. We use first-order logic (FOL) as a framework to do so. We aim at an “analysis of the logical structure of relativity theories”. First we build up (the kinematics of) special relativity in FOL, then analyze it, and then we experiment with generalizations in the direction of general relativity. The present paper gives samples from an ongoing broader research project which in turn is part of a research direction going back… CONTINUE READING

#### From This Paper

##### Figures, tables, and topics from this paper.

#### Citations

##### Publications citing this paper.

#### References

##### Publications referenced by this paper.

Showing 1-10 of 65 references

Highly Influential

Highly Influential

Highly Influential

Highly Influential

Highly Influential

Highly Influential

Highly Influential

Highly Influential

Highly Influential

Highly Influential