by Meyer, Robert K.
Published in Annals of pure and applied logic (01.06.2004)

by Galatos, Nikolaos, Greati, Vitor, Ramanayake, Revantha, John, Gavin St
Year of Publication 30.04.2025

by Galatos, Nikolaos, Jipsen, Peter, Kowalski, Tomasz, Ono, Hiroakira
Year of Publication 25.04.2007

by Porello, Daniele
Published in Fundamenta informaticae (01.01.2018)

by Bimbó, Katalin
Published in Studia logica (01.11.2000)

by Ghilezan, Silvia, Ivetic, Jelena, Lescanne, Pierre, Likavec, Silvia
Year of Publication 15.12.2011

by Ghilezan, Silvia, Ivetic, Jelena, Lescanne, Pierre, Likavec, Silvia
Published in arXiv.org (17.05.2013)

by Goldblatt, Robert
Published in Quantifiers, Propositions and Identity (14.07.2011)