Marta Gawek

According to our database, Marta Gawek authored at least 4 papers between 2021 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

An Epistemic Separation Logic with Action Models.

Hans van Ditmarsch, Didier Galmiche, Marta Gawek

J. Log. Lang. Inf., March, 2023

A Separation Logic with Histories of Epistemic Actions as Resources.

Hans van Ditmarsch, Didier Galmiche, Marta Gawek

Proceedings of the Logic, Language, Information, and Computation, 2023

2022

Natural Deduction Systems for Intuitionistic Logic with Identity.

Szymon Chlebowski, Marta Gawek, Agata Tomczyk

Stud Logica, 2022

2021

Beth Semantics and Labelled Deduction for Intuitionistic Sentential Calculus with Identity.

Didier Galmiche, Marta Gawek, Daniel Méry

Proceedings of the 6th International Conference on Formal Structures for Computation and Deduction, 2021