output
20152026
most citedA search for photons with energies above eV using hybrid data from the low-energy extensions of the Pierre Auger Observatory

44 citations

researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

collaborating institutions
Showing math.LOShow all

5 papers · 1 filter

math.LO2025

Tableaux for epistemic Gödel logic

Marta Bílková, Thomas Ferguson, Daniil Kozhemiachenko

We propose a multi-agent epistemic logic capturing reasoning with degrees of plausibility that agents can assign to a given statement, with interpreted as "entirely plausible f…

math.LO2025

The rational Gurarii space and its linear isometry group

Ondřej Kurka, Maciej Malicki

We show that the classes of partial isometries in finite-dimensional polyhedral spaces and in finite-dimensional rational polyhedral spaces do not have the weak amalgamation proper…

math.LO2024

Superabelian logics

Petr Cintula, Filip Jankovec, Carles Noguera

This paper presents a unified algebraic study of a family of logics related to Abelian logic (Ab), the logic of Abelian lattice-ordered groups. We treat Ab as the base system and r…

math.LO2023★ 1 cited

One-variable fragments of first-order logics

Petr Cintula, George Metcalfe, Naomi Tokuda

The one-variable fragment of a first-order logic may be viewed as an "S5-like" modal logic, where the universal and existential quantifiers are replaced by box and diamond modaliti…

math.LO2017

Provability Logics of Hierarchies

Amirhossein Akbar Tabatabai

The branch of provability logic investigates the provability-based behavior of the mathematical theories. In a more precise way, it studies the relation between a mathematical theo…