by Makinson, David
Published in Journal of logic and computation (01.10.2025)

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

by Zhao, Chunna, Jiang, Murong, Huang, Yaqun
Published in Fractal and fractional (01.09.2022)

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 Simon Tobias Lund, Villadsen, Jørgen
Published in arXiv.org (08.04.2024)

by Fitting, Melvin
Year of Publication 2012

Year of Publication 2023

by Nieuwveld, Joris, Ouaknine, Joël
Year of Publication 22.07.2025

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)

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

by Alrubyli, Yazeed
Year of Publication 12.08.2021

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

by Pollard, Carl
Published in Synthese (Dordrecht) (01.03.2015)

by Shapiro, Stewart
Year of Publication 03.03.2005

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 Blanchette, Jasmin Christian, Popescu, Andrei, Traytel, Dmitriy
Published in Journal of automated reasoning (01.01.2017)

by Paśniczek, Jacek
Published in History and philosophy of logic (03.07.2023)

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