Title | Journal | Journal Categories | Citations | Publication Date |
---|---|---|---|---|
Deciding logics of linear Kripke frames with scattered end pieces | Soft Computing |
| 1 | 2017 |
Separating intermediate predicate logics of well-founded and dually well-founded structures by monadic sentences | Journal of Logic and Computation |
| 3 | 2015 |
Continuous Fraïssé Conjecture | Order |
| 9 | 2008 |
First-order Gödel logics | Annals of Pure and Applied Logic |
| 31 | 2007 |
Gödel logics and Cantor–Bendixon analysis | 2002 |
Title | Journal | Journal Categories | Citations | Publication Date |
---|---|---|---|---|
The Craig interpolation property in first-order Gödel logic | Fuzzy Sets and Systems |
| 2024 | |
The Löwenheim-Skolem theorem for Gödel logic | Annals of Pure and Applied Logic |
| 2023 | |
Some Model Theoretic Properties for Pavelka-Style Gödel Logic, RGL* and Gödel Logic with Δ | Axioms |
| 2023 |