Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by Crossref.
Lucas, Christophe
and
Mio, Matteo
2019.
Foundations of Software Science and Computation Structures.
Vol. 11425,
Issue. ,
p.
418.
Piazza, Mario
Pulcini, Gabriele
and
Tesi, Matteo
2023.
Fractional-Valued Modal Logic and Soft Bilateralism.
Bulletin of the Section of Logic,
Vol. 52,
Issue. 3,
p.
275.
Mohammadi, Hamzeh
2023.
Linear Abelian Modal Logic.
Bulletin of the Section of Logic,
Vol. 53,
Issue. 1,
p.
1.
van der Giessen, Iris
Jalali, Raheleh
and
Kuznets, Roman
2023.
Automated Reasoning with Analytic Tableaux and Related Methods.
Vol. 14278,
Issue. ,
p.
263.
van der Giessen, Iris
Jalali, Raheleh
and
Kuznets, Roman
2024.
Uniform interpolation via nested sequents and hypersequents.
Journal of Logic and Computation,