902 citations
- Universidad Complutense de MadridES266 papers
- Max Planck Institute for PhysicsDE255 papers
- National Institute for AstrophysicsIT242 papers
- University of PaduaIT240 papers
- Institute for High Energy PhysicsES231 papers
- TU Dortmund UniversityDE221 papers
- Universitat Autònoma de BarcelonaES214 papers
- University of SienaIT214 papers
- ETH ZurichCH213 papers
- University of WürzburgDE213 papers
- Deutsches Elektronen-Synchrotron DESYDE211 papers
- Istituto Nazionale di Fisica Nucleare, Sezione di PadovaIT209 papers
34 papers · 1 filter
A Binary Quantifier for Definite Descriptions in Nelsonian Free Logic
Yaroslav Petrukhin
The method Kürbis used to formalise definite descriptions with a binary quantifier I, such that I indicates `the F is G', is examined and improved upon in this work. Kürbis…
A Cut-free, Sound and Complete Russellian Theory of Definite Descriptions
Andrzej Indrzejczak, Nils Kürbis
We present a sequent calculus for first-order logic with lambda terms and definite descriptions. The theory formalised by this calculus is essentially Russellian, but avoids some o…
Definite Descriptions and Hybrid Tense Logic
Andrzej Indrzejczak, Michał Zawidzki
We provide a version of first-order hybrid tense logic with predicate abstracts and definite descriptions as the only non-rigid terms. It is formalised by means of a tableau calcul…
Towards Proof-Theoretic Formulation of the General Theory of Term-Forming Operators
Andrzej Indrzejczak
Term-forming operators (tfos), like iota- or epsilon-operator, are technical devices applied to build complex terms in formal languages. Although they are very useful in practice t…
On some aspects of local thermodynamical formalism
Andrzej Bis, Henk Bruin
In 2007, Ye \& Zhang introduced a version of local topological entropy. Since their entropy function is, as we show under mild conditions, constant for topologically transitive dyn…
Multi-wavelength study of OT 081: broadband modelling of a transitional blazar
MAGIC Collaboration, H. Abe, S. Abe +270
OT 081 is a well-known, luminous blazar that is remarkably variable in many energy bands. We present the first broadband study of the source which includes very-high-energy (VHE, $…