Login / Signup
Samara Burns
Publication Activity (10 Years)
Years Active: 2018-2021
Publications (10 Years): 2
Top Topics
Sequent Calculi
Decision Procedures
Model Checking
Modal Logic
Top Venues
CoRR
Rev. Symb. Log.
</>
Publications
</>
Samara Burns
,
Richard Zach
Cut-Free Completeness for Modular Hypersequent Calculi for Modal Logics k, T, and d.
Rev. Symb. Log.
14 (4) (2021)
Samara Burns
,
Richard Zach
Relational Hypersequents for Modal Logics.
CoRR
(2018)