| First-order Gödel logics M Baaz, N Preining, R Zach Annals of Pure and Applied Logic 147 (1-2), 23-47, 2007 | 93 | 2007 |
| Gödel-Dummett logics M Baaz, N Preining, P Cintula, P Hájek, C Noguera Handbook of Mathematical Fuzzy Logic 2, 585-626, 2011 | 31 | 2011 |
| Complete recursive axiomatizability of Gödel logics N Preining na, 2003 | 28 | 2003 |
| Continuous Fraďssé conjecture A Beckmann, M Goldstern, N Preining Order 25 (4), 281-298, 2008 | 27 | 2008 |
| Linear Kripke frames and Gödel logics A Beckmann, N Preining The Journal of Symbolic Logic 72 (1), 26-44, 2007 | 25 | 2007 |
| Characterization of the axiomatizable prenex fragments of first-order godel logics M Baaz, N Preining, R Zach 33rd International Symposium on Multiple-Valued Logic, 2003. Proceedings …, 2003 | 20 | 2003 |
| Gödel logics–a survey N Preining International Conference on Logic for Programming Artificial Intelligence …, 2010 | 18 | 2010 |
| A dialogue game for intuitionistic fuzzy logic based on comparisons of degrees of truth CG Fermüller, N Preining na, 2003 | 14 | 2003 |
| SAT in Monadic Gödel Logics: a borderline between decidability and undecidability M Baaz, A Ciabattoni, N Preining Logic, Language, Information and Computation: 16th International Workshop …, 2009 | 12 | 2009 |
| Completeness of a hypersequent calculus for some first-order Godel logics with delta M Baaz, N Preining, R Zach 36th International Symposium on Multiple-Valued Logic (ISMVL'06), 9-9, 2006 | 12 | 2006 |
| Gödel logics and Cantor-Bendixon analysis N Preining International Conference on Logic for Programming Artificial Intelligence …, 2002 | 12 | 2002 |
| Blockchain‐based cyber physical trust systems A Beckmann, A Milne, JJ Razafindrakoto, P Kumar, M Breach, N Preining IoT Security: Advances in Authentication, 265-277, 2020 | 11 | 2020 |
| Quantifier Elimination for quantified propositional logics on Kripke frames of type! M Baaz, N Preining J Log Comput 18 (4), 649-720, 2008 | 10 | 2008 |
| Hyper natural deduction A Beckmann, N Preining 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 547-558, 2015 | 9 | 2015 |
| On the classification of first order Gödel logics M Baaz, N Preining Annals of Pure and Applied Logic 170 (1), 36-57, 2019 | 7 | 2019 |
| Separating intermediate predicate logics of well-founded and dually well-founded structures by monadic sentences A Beckmann, N Preining Journal of Logic and Computation 25 (3), 527-547, 2015 | 7 | 2015 |
| CafeOBJ Reference Manual (version 1.5. 3) T Sawada, K Futatsugi, N Preining Japan Advanced Institute of Science and Technology, 2015 | 6 | 2015 |
| Liveness properties in CafeOBJ–A case study for meta-level specifications N Preining, K Ogata, K Futatsugi International Symposium on Logic-Based Program Synthesis and Transformation …, 2014 | 6 | 2014 |
| First-order satisfiability in Gödel logics: an NP-complete fragment M Baaz, A Ciabattoni, N Preining Theoretical computer science 412 (47), 6612-6623, 2011 | 6 | 2011 |
| Linear Kripke frames and Gödel logics A Beckmann, N Preining Journal of Symbolic Logic, 2005 | 6 | 2005 |
Arnold BeckmannProfessor of Computer Science, Swansea UniversityVerified email at swansea.ac.uk
