| Alessandro Rossi |
The Indeterminacy of Isomorphism Invariance
|
| Alexandros Apostolidis |
The two faces of abduction: bridging and separating philosophical and formal models
|
| Andrew Lewis-Smith, Zhiguang Zhao and Andrew Lewis-Smith |
Model Theory for $GBL_{ewf}$
|
| Anthony Stoner |
Access Anti-Exceptionalism, and Logical Naturalism Revisited
|
| Antonis Kakas |
The AI Logic of Aristotle
|
| Anvar Nurakunov and Mahsut Bekenov |
On semirings of first-order theories
|
| Benjamin Siskind |
$\Sigma^1_3$ Gandy Harrington forcing
|
| Cem Bozsahin |
Recursion: Conceptual Necessity or Convenience? Cause or Effect?
|
| Colin Jahel and Manuel Bodirsky |
Asymptotic Theories of Classes Defined by Forbidden Homomorphisms
|
| Dino Rossegger |
A topological highness notion
|
| Forte Shinko |
An elementary proof of the Lusin-Novikov theorem
|
| Georgios Marangelis |
Models of an Abstract Elementary Class as a Generalized Polish Space
|
| Ilgar Gapagov and Matteo Pascucci |
Some challenges for formal theories of responsibility
|
| Ivan Georgiev and Dimitar Chaltakov |
M2-computability of Semialgebraic Functions
|
| Jan Hubička, Matěj Konečný and Andy Zucker |
Characterisation of the big Ramsey degrees of 3-uniform hypergraphs
|
| Karol Wapniarski |
Aristotle versus Euclid: Syllogising the Elements and the epistemological status of mathematics
|
| Konstantinos Papafilippou, Mateusz Łełyk and Luca Castaldo |
KFμ a theory of truth and of $L_{ω_1^{CK}}$
|
| Ludovica Conti |
Weak Impredicativity and Frege's Grundgesetze
|
| Luis F. Bartolo Alegre |
A Framework for Representing Views about Logic
|
| Márk Poór and Slawomir Solecki |
Projective Fraissé limits and homeomorphisms of continua
|
| Michael Rahnfeld |
Naturality As Structural Invariance of the Intension- Extension-Relation
|
| Michał Tomasz Godziszewski |
On the Exponential Succinctness of Shannon-Uncertainty Modalities over Probabilistic Beliefs in Temporal Logic
|
| Michał Tomasz Godziszewski |
On axioms for multiverses of set theory
|
| Mikołaj Bojańczyk, Antonio Casares, Sven Manthe and Paweł Parys |
Automata for MSO over Infinite Trees with Quantification over Borel Sets of Branches
|
| Ming Ng and Takayuki Kihara |
What can Topology tell us about Logical Complexity?
|
| Necdet Duman, Özge Gönül, Burak Kaya, Jayatra Saxena and Yiğithan Tamer |
Closed Ramsey numbers $R^{cl}(\alpha,3)$ below $\omega^2$
|
| Nick Galatos |
Computational complexity of knotted substructural logics
|
| Nikolay Bazhenov, Samuel Braunfeld and Kyle Gannon |
Random theories
|
| Paolo Maffezioli |
Proof-theoretic aspects of stable logic
|
| Philippos Papayannopoulos |
"The Art of Using Symbols Under Regulations": Formalism, Mechanization, and the 19th-Century Transformation of Logic
|
| Riley Thornton |
CSPs and the Axiom of Choice
|
| Roditsa Frangidou |
Procedural Semantics and Hyperintensionality in Transparent Intensional Logic
|
| Rodrigo Mena Gonzalez |
Reflections on The Deduction Theorem
|
| Tan Özalp |
Some developments in the theory of ultrafilters on countable sets
|
| Tatsuya Goto |
On cardinal invariants on universally null sets
|
| Vasiliki Kyriakou |
Wadge Games for a Condition-Induced Topology
|