by Perkov, Tin, Mikec, Luka
Published in Reports on mathematical logic (2021)

by Gabbay, Murdoch J.
Published in Journal of the ACM (01.09.2016)

by Freire, Rodrigo A.
Published in Logica universalis (01.09.2015)

by Fitting, Melvin
Year of Publication 2012

by Fitting, Melvin
Year of Publication 1996

by Becerra-Bonache, Leonor, Blockeel, Hendrik, Galván, María, Jacquenet, François
Published in Advances in Intelligent Data Analysis XIV (2015)

Year of Publication 2023

by Alrubyli, Yazeed
Year of Publication 12.08.2021

by Azzouni, Jody
Published in Synthese (Dordrecht) (15.09.2023)

by Núñez, Rafael C., Murthi, Manohar N., Premaratne, Kamal, Scheutz, Matthias, Bueno, Otávio
Published in International journal of approximate reasoning (01.04.2018)

by Singhal, Rahul, Henz, Martin, Goyal, Shubham
Published in Artificial Intelligence in Education (2015)

by Blanchette, Jasmin Christian, Popescu, Andrei, Traytel, Dmitriy
Published in Journal of automated reasoning (01.01.2017)

by Pilipczuk, Michał, Schirrmacher, Nicole, Siebertz, Sebastian, Toruńczyk, Szymon, Vigny, Alexandre
Year of Publication 05.11.2021

by Eberl, Matthias
Published in Reports on mathematical logic (01.01.2022)

by Viriyasitavat, Wattana, Xu, Li Da, Bi, Zhuming, Sapsomboon, Assadaporn
Published in Enterprise information systems (28.05.2018)

by Sági, Gábor
Published in Mathematics (Basel) (01.01.2023)

by Alrubyli, Yazeed
Published in arXiv.org (13.08.2021)

by Ahmed, Tarek Sayed
Published in Journal of applied non-classical logics (01.01.2009)

by Pilipczuk, Michał, Schirrmacher, Nicole, Siebertz, Sebastian, Toruńczyk, Szymon, Vigny, Alexandre
Published in arXiv.org (05.11.2021)

by Ferilli, S., Basile, T.M.A., Biba, M., Di Mauro, N., Esposito, F.
Published in Fundamenta informaticae (01.01.2009)