107 citations
- Institució Catalana de Recerca i Estudis AvançatsES6 papers
- Institute of Space SciencesES6 papers
- Tomsk State University of Control Systems and Radio-ElectronicsRU6 papers
- Australian National UniversityAU5 papers
- University of the WitwatersrandZA5 papers
- Joint Institute for Nuclear ResearchRU3 papers
- Universidad de ValladolidES3 papers
- Georgia Institute of TechnologyUS2 papers
- Indian Institute of Science Education and Research KolkataIN2 papers
- Institute of Metal Superplasticity ProblemsRU2 papers
- Institute of PhysicsPL2 papers
- Kazan Federal UniversityRU2 papers
4 papers · 1 filter
Is exponential gravity a viable description for the whole cosmological history?
Sergei D. Odintsov, Diego Saez-Chillon Gomez, German S. Sharov
Here we analysed a particular type of gravity, the so-called exponential gravity which includes an exponential function of the Ricci scalar in the action. Such term represen…
Undecidability of first-order modal and intuitionistic logics with two variables and one monadic predicate letter
Mikhail Rybakov, Dmitry Shkatov
We prove that the positive fragment of first-order intuitionistic logic in the language with two variables and a single monadic predicate letter, without constants and equality, is…
On complexity of propositional Linear-time Temporal Logic with finitely many variables
Mikhail Rybakov, Dmitry Shkatov
It is known [DemriSchnoebelen02] that both satisfiability and model-checking problems for propositional Linear-time Temporal Logic, LTL, with only a single propositional variable i…
A new interacting two fluid model and its consequences
German S. Sharov, Subhra Bhattacharya, Supriya Pan +2
In the background of a homogeneous and isotropic spacetime with zero spatial curvature, we consider interacting scenarios between two barotropic fluids, one is the pressureless dar…