English
Related papers

Related papers: On Logical Analysis of Relativity Theories

200 papers

We review cosmological relativity, a new special theory of relativity that was recently developed for cosmology, and discuss in detail some of its aspects.

General Relativity and Quantum Cosmology · Physics 2007-05-23 Moshe Carmeli

This is the logical foundation for for Relativity Theory, Probability Theory, and for Quantum Theory. Contents is the following: 1 Introduction. 2 Classical logic. 3 Time and space. 3.1 Recorders. 3.2 Time. 3.3 Space. 3.4 Relativity. 4.…

General Physics · Physics 2007-05-23 G. A. Quznetsov

This is a survey of Rational Homotopy Theory, intended for a Mathematical Physics readership.

Algebraic Topology · Mathematics 2025-01-23 Alexander A. Voronov

This paper surveys main and recent studies on temporal logics in a broad sense by presenting various logic systems, dealing with various time structures, and discussing important features, such as decidability (or undecidability) results,…

Logic in Computer Science · Computer Science 2013-08-06 Savas Konur

The aim of this chapter is to present an introduction and also an overview of some of the most relevant results concerning positivity energy theorems in General Relativity. These theorems provide the answer to a long standing problem that…

General Relativity and Quantum Cosmology · Physics 2015-06-15 Sergio Dain

We offer a fresh perspective on the relational interpretation of quantum mechanics as a way of thinking about the world described by quantum theory based on quantifiable notions of information. This allows us to provide a definition of a…

Quantum Physics · Physics 2026-02-10 Andrea Di Biagio , Carlo Rovelli

Lecture notes written for a one-semester course in mathematical relativity aimed at mathematics and physics students. Not meant as an introduction to general relativity, but rather as a complementary, more advanced text.

General Relativity and Quantum Cosmology · Physics 2020-03-09 José Natário

The aim of this short lecture series is to expose the students to the beautiful theory of lattices by, on one hand, demonstrating various basic ideas that appear in this theory and, on the other hand, formulating some of the celebrated…

Group Theory · Mathematics 2014-02-06 Tsachik Gelander

The article demonstrates that logic is not necessarily singleton and does not always have the standard interpretation of negation. Appropriate generalizations of logic are suggested. Positive logic and multivalued negation operations are…

Logic · Mathematics 2024-01-30 Volodymyr M. Zhuravlov

The goal of this article is to invite the reader to get to know and to get involved into higher Teichm\"uller theory by describing some of its many facets.

Geometric Topology · Mathematics 2018-03-20 Anna Wienhard

The paper is devoted to the introduction of natural deduction systems for some weak subintuitionistic logics, along with proofs of normalization theorems for these systems.

Logic · Mathematics 2024-12-03 Fatemeh Shirmohammadzadeh Maleki

My purpose is to examine some concepts of mathematical logic, which have been studied by Carlo Cellucci. Today the aim of classical mathematical logic is not to guarantee the certainty of mathematics, but I will argue that logic can help us…

History and Overview · Mathematics 2016-02-25 Claudio Bernardi

A definition of a {\it Realistic} Physics Theory is proposed based on the idea that, at all time, the set of physical properties possessed (at that time) by a system should unequivocally determine the probabilities of outcomes of all…

Quantum Physics · Physics 2018-07-23 Nicolas Gisin

We introduce relationalism and discuss how it is useful for interpreting probability theory and quantum mechanics. This paper is written in relatively lay terms and presumes no prior knowledge of quantum theory.

Quantum Physics · Physics 2007-05-23 Thomas Marlow

In these lectures I present the key ideas driving the field of relativistic heavy-ion physics and develop some of the theoretical tools needed for the description and interpretation of heavy-ion collision experiments.

High Energy Physics - Phenomenology · Physics 2007-05-23 Ulrich W. Heinz

This chapter provides an introduction to some basic concepts of epistemic logic, basic formal languages, their semantics, and proof systems. It also contains an overview of the handbook, and a brief history of epistemic logic and pointers…

Artificial Intelligence · Computer Science 2015-03-04 Hans van Ditmarsch , Joseph Y. Halpern , Wiebe van der Hoek , Barteld Kooi

Dynamic evidence logics are logics for reasoning about the evidence and evidence-based beliefs of agents in a dynamic environment. In this paper, we introduce a family of logics for reasoning about relational evidence: evidence that…

Logic in Computer Science · Computer Science 2017-06-20 Alexandru Baltag , Andrés Occhipinti Liberman

This is a philosophy-intense physics article, or, if you wish, a physics-intense philosophy article. Also, being a mathematician, I tend to view the physics, in particular the essence of quantum physics, in emphasizing the mathematical…

History and Overview · Mathematics 2012-08-24 Eliahu Levy

The purpose of this article is to draw attention to some fundamental issues in General Relativity. It is argued that these deep issues cannot be resolved within the standard approach to general relativity that considers {\em every} solution…

General Relativity and Quantum Cosmology · Physics 2007-05-23 Sanjay M. Wagh

Arguments are reviewed and extended in favor of presenting special relativity at least in part from a more mechanistic point of view. A number of generic mechanisms are catalogued and illustrated with the goal of making relativistic effects…

Classical Physics · Physics 2015-05-08 William M. Nelson