Sign in
Kentarô Yamamoto
ORCID
Publication Activity (10 Years)
Years Active: 2017-2023
Publications (10 Years): 4
Top Topics
Theoretical Basis
Group Membership
Modal Logic
Proof Theory
Top Venues
J. Symb. Log.
J. Log. Comput.
Stud Logica
</>
Publications
</>
Kentarô Yamamoto
The automorphism Group of the FRAïSSé Limit of finite Heyting Algebras.
J. Symb. Log.
88 (3) (2023)
Kentarô Yamamoto
The automorphism Group of the FRAïSSé Limit of finite Heyting Algebras - addendum.
J. Symb. Log.
88 (3) (2023)
Kentarô Yamamoto
Correspondence, Canonicity, and Model Theory for Monotonic Modal Logics.
Stud Logica
109 (2) (2021)
Kentarô Yamamoto
Results in modal correspondence theory for possibility semantics.
J. Log. Comput.
27 (8) (2017)