Fine Selection for Intuitionistic Modal Logic

David Fern\'andez-Duque

Fine Selection for Intuitionistic Modal Logic

David Fern\'andez-Duque

Preprint

In the authors' words

We extend Fine's selection method to the setting of intuitionistic modal logic and use it to provide a model-theoretic proof that Fischer Servi-style intuitionistic $K4$ has the finite model property.

Main resultThe abstract does not state a limitation.

Read the paper PDF

Appeared: Thursday, September 24. arXiv. Preprint, not yet peer-reviewed.

Math & statistics Other mathematics Sep 24, 2026
The next Fourier transform: rewiring, representation, and artificial mathematical creativity
This motivates our Rewiring Thesis: a conceptual revolution is a persistent, large-scale reorganization of transfer relations among mathematical problems.
Luca Fanelli — arXiv
PreprintBroad interest
Math & statistics Other mathematics Sep 24, 2026
Training Mathematicians in the Age of AI: Intellectual Agency, Cognitive Offloading, and the PhD Thesis
I argue that graduate mathematical education should therefore be organized around the formation of intellectual agency: internal technical competence, mathematical judgment, understanding, and responsible participation in a shared intellectual culture.
Thomas Koberda — arXiv
Preprint
Math & statistics Other mathematics Sep 24, 2026
Applications of a Commutation Formula II
In this paper we briefly recall some of the applications of these commutation formulas to isospectrality, integrable systems, regularization of PDEs, and estimates in Statistical Mechanics and Quantum Field Theory discussed in [24].
Percy Deift, Fritz Gesztesy — arXiv
Preprint
Math & statistics Other mathematics Sep 24, 2026
On the foundations of logic and probability, I. Modal sentential calculi
A class of models which does not require an additional operator on the language of classical sentential calculi to capture some notion of necessity, possibility, and impossibility is introduced and investigated.
Loic Cosyns — arXiv
Preprint
Math & statistics Other mathematics Sep 24, 2026
Bounds on non-hermite Wigner-Yanase-Dyson skew information
We obtain the relation between non-hermite skew information $N I_{ρ, α} (A)$ , $N U_{ρ, α} (A)$ , variance $N V_{ρ} (A)$ and $N J_{ρ, α} (A)$ by using the maximal eigenvalue and the minimal eigenvalue of density $ρ$ .
Kenjiro Yanagi — arXiv
Preprint

All new papers on Other mathematics

Fine Selection for Intuitionistic Modal Logic

In the authors' words

More on Other mathematics that day

The next Fourier transform: rewiring, representation, and artificial mathematical creativity

Training Mathematicians in the Age of AI: Intellectual Agency, Cognitive Offloading, and the PhD Thesis

Applications of a Commutation Formula II

On the foundations of logic and probability, I. Modal sentential calculi

Bounds on non-hermite Wigner-Yanase-Dyson skew information