Kentarô YAMAMOTO

I am a postdoctoral fellow at the Institute of Informatics of the Academy of Sciences of the Czech Republic. I obtained my doctorate in Logic and the Methodology of Science at UC Berkeley under the supervision of Wesley Holliday. Here are my curriculum vitae and research statement.

Papers

Elementary equivalence in positive logic via prime products. To appear in the Journal of Symbolic Logic.
The small index property of the Fraïssé limit of finite Heyting algebras. Journal of Algebra, Volume 628, 15 August 2023.
The Fraïssé limit of finite Heyting algebras . To appear in the Journal of Symbolic Logic. The arXiv version incorporates the addendum that will appear later.
(with Joseph McDonald) Choice-free duality for orthocomplemented lattices by means of spectral spaces. Algebra Universalis, Volume 83, 7 August 2022.
Correspondence, Canonicity, and Model Theory for Monotonic Modal Logics. Studia Logica, 24 June 2020. (Publisher's version)
Intuitionism and nuclei. Preprint on eScholarship.
Results in Modal Correspondence Theory for Possibility Semantics. Journal of Logic and Computation, Volume 27, Issue 8, 1 December 2017.

Talks

Elementary equivalence in positive logic via prime products. Logic Colloquium 2023, Milano, Italy.
How to compute uniform interpolants semantically (Tutorial). Seminar on Applied Mathematical Logic, Prague, the Czech Republic.
Order expansions of finite Heyting algebras (Invited). Drafting Workshop in Discrete Mathematics and Probability 2023, Budapest, Hungary.
Generalized ultraproducts for positive logic . British Postgraduate Model Theory Conference 2023, Leeds, the United Kindom.
Generalized ultraproducts for positive logic. LOGICA 2022, Teplá, the Czech Republic.
The small index property of the Fraı̈ssé limit of finite Heyting algebras. Logic Colloquium 2022, Reykjavik, Iceland.
The small index property of the Fraı̈ssé limit of finite Heyting algebras. Topology, Algebras and Categories in Logic 2022, Coimbra, Portugal.
The small index property of the Fraı̈ssé limit of finite Heyting algebras. Czech Gathering of Logicians 2022, Prague, the Czech Republic.
Choice-free duality for ortholattices by means of spectral spaces. LOGICA 2021, Hejnice, Czechia.
The automorphism group of the Fraisse limit of finite Heyting algebras. BLAST 2021, Las Cruces, New Mexico.
The automorphism group of the Fraisse limit of finite Heyting algebras (Invited). Logic Seminar, Department of Mathematics, University of Florida.
Correspondence, Canonicity, and Model Theory for Monotonic Modal Logics. BLAST 2019, Boulder, Colorado.
Modal Correspondence Theory for Possibility Semantics. MLG Workshop 2015, Kyôto, Japan.
On the Computational Power of Algorithmically Random Constants in Blum-Shub-Smale Machines. CCA 2014, Darmstadt, Germany (joint work with Akitoshi Kawamura).

Theses

Duality for Boolean Algebra Expansions and Its Applications. Ph.D. thesis, University of California, Berkeley, 2020.
Algorithmic Randomness and Computational Complexity. B.Sc. thesis, University of Tokyo, 2014.

Kentarô YAMAMOTO (yamamoto@deletethis.cs.cas.cz)