Marta Gawek

Publication Activity (10 Years)

Years Active: 2021-2023
Publications (10 Years): 4

Top Topics

Intuitionistic Logic

Sequent Calculus

Natural Deduction

Top Venues

J. Log. Lang. Inf.

Publications

Hans van Ditmarsch, Didier Galmiche, Marta Gawek
An Epistemic Separation Logic with Action Models. J. Log. Lang. Inf. 32 (1) (2023)
Hans van Ditmarsch, Didier Galmiche, Marta Gawek
A Separation Logic with Histories of Epistemic Actions as Resources. WoLLIC (2023)
Szymon Chlebowski, Marta Gawek, Agata Tomczyk
Natural Deduction Systems for Intuitionistic Logic with Identity. Stud Logica 110 (6) (2022)
Didier Galmiche, Marta Gawek, Daniel Méry
Beth Semantics and Labelled Deduction for Intuitionistic Sentential Calculus with Identity. FSCD (2021)