Mariami Gamsakhurdia

According to our database, Mariami Gamsakhurdia authored at least 6 papers between 2024 and 2026.

Collaborative distances:

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

2026

Goedel Logics: On the Elimination of The Absoluteness Operator.

Matthias Baaz, Mariami Gamsakhurdia

CoRR, May, 2026

Skolemization and Decidability of the Bernays-Schönfinkel Class in Gödel Logics.

Matthias Baaz, Mariami Gamsakhurdia, Anela Lolic

Proceedings of the 56th IEEE International Symposium on Multiple-Valued Logic, 2026

2025

Skolemization and Decidability of the Bernays-Schoenfinkel Class in Goedel Logics.

Mariami Gamsakhurdia, Matthias Baaz, Anela Lolic

CoRR, December, 2025

Skolemization In Intermediate Logics.

Matthias Baaz, Mariami Gamsakhurdia, Rosalie Iemhoff, Raheleh Jalali

CoRR, January, 2025

An Analytic Representation of the Semantics of First-Order S5.

Matthias Baaz, Mariami Gamsakhurdia, Anela Lolic

Proceedings of the Frontiers of Combining Systems - 15th International Symposium, 2025

2024

Goedel logics: Prenex fragments.

Matthias Baaz, Mariami Gamsakhurdia

CoRR, 2024