Sotabase

Career

· Data Science Researcher, Stanford University2024–
· Stanford Data Science, Stanford University

Publications (26)

An essay on unification and inference rules for modal logics
1999
18
cited
Unifiability in extensions of K4
Logic Journal of the IGPL · 2009
17
cited
KD is nullary
J. Appl. Non Class. Logics · 2017
11
cited
Unification in epistemic logics
J. Appl. Non Class. Logics · 2017
9
cited
Description of Modal Logics Inheriting Admissible Rules for K4
Logic Journal of the IGPL · 1999
8
cited
Unification and Passive Inference Rules for Modal Logics
J. Appl. Non Class. Logics · 2000
8
cited
Unifiability in extensions of K 4
2008
6
cited
Admissibility and Unifiability in Contact Logics
Tbilisi Symposium on Logic, Language, and Computation · 2013
4
cited
Description of Modal Logics Inheriting Admissible Rules for S4
Logic Journal of the IGPL · 1999
4
cited
Local Intuitionistic Modal Logics and Their Calculi
International Joint Conference on Automated Reasoning · 2024
4
cited
On Self-Admissible Quasi-Characterizing Inference Rules
Studia Logica: An International Journal for Symbolic Logic · 2000
2
cited
Remarks about the unification types of some locally tabular normal modal logics
Logic Journal of the IGPL · 2023
2
cited
About the Unification Type of Modal Logics Between $\mathbf {KB}$ and $\mathbf {KTB}$
Studia Logica: An International Journal for Symbolic Logic · 2019
1
cited
Contact Logic is Finitary for Unification with Constants
Logic in Asia: Studia Logica Library · 2016
1
cited
Description of Self-admissible Quasi-characterizing Inference Rules
2007
1
cited
Finitariness of Elementary Unification in Boolean Region Connection Calculus
International Symposium on Frontiers of Combining Systems · 2017
1
cited
Intuitionistic modal logics: tips and clips
Logic Journal of the IGPL · 2026
1
cited
On a Question of Phillips
Mathematical Logic Quarterly · 1997
1
cited
About the unification type of $\mathbf {K}+\square \square \bot $
Annals of Mathematics and Artificial Intelligence · 2021
About the Unification Type of Fusions of Modal Logic
FLAP · 2021
Sotabase