Brice Halimi

From MaRDI portal



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
Geometric modal logic
Notre Dame Journal of Formal Logic
2024-01-15Paper
A Categorical Aspect of the Analogy Between Quantifiers and Modalities
Studies in Universal Logic
2023-09-20Paper
HOMOTOPY MODEL THEORY
Journal of Symbolic Logic
2022-01-17Paper
Settings and misunderstandings in mathematics
Synthese
2021-11-26Paper
Tim Button and Sean Walsh*  Philosophy and Model Theory.
Philosophia Mathematica
2021-02-09Paper
Sets and descent
Boston Studies in the Philosophy and History of Science
2020-07-13Paper
Structures and generality in combinatory theory: mathematics and letters2018-12-17Paper
Logical contextuality in Frege
The Review of Symbolic Logic
2018-05-03Paper
Models as universes
Notre Dame Journal of Formal Logic
2017-02-17Paper
A new semantics of modal iteration
Philosophia Scientae
2015-06-25Paper
Structured Variables
Philosophia Mathematica
2014-08-05Paper
On a possible application of the homotopy concept to model theory
Annales de la Faculté des Sciences de Toulouse. Mathématiques. Série VI
2014-05-02Paper
Diagrams as sketches
Synthese
2013-10-29Paper
The versatility of universality in \textit{Principia mathematica}
History and Philosophy of Logic
2013-04-18Paper


Research outcomes over time


This page was built for person: Brice Halimi