Login / Signup
Kristina Brantley
Publication Activity (10 Years)
Years Active: 2020-2023
Publications (10 Years): 2
Top Topics
Model Checking
Theorem Prover
Datalog Queries
Modal Logic
Top Venues
Bull. Symb. Log.
J. Symb. Log.
</>
Publications
</>
Guram Bezhanishvili
,
Kristina Brantley
,
Julia Ilin
Monadic Intuitionistic and Modal Logics Admitting Provability Interpretations.
J. Symb. Log.
88 (1) (2023)
Kristina Brantley
Monadic Intuitionistic and Modal Logics Admitting Provability Interpretations.
Bull. Symb. Log.
26 (3-4) (2020)