The following pages link to Norbert Preining (Q650892):
Displayed 18 items.
- First-order satisfiability in Gödel logics: an NP-complete fragment (Q650893) (← links)
- Continuous Fraïssé conjecture (Q1013988) (← links)
- On the classification of first order Gödel logics (Q1616771) (← links)
- Deciding logics of linear Kripke frames with scattered end pieces (Q1699745) (← links)
- First-order Gödel logics (Q2370370) (← links)
- Liveness Properties in CafeOBJ – A Case Study for Meta-Level Specifications (Q2949707) (← links)
- Linear Kripke frames and Gödel logics (Q3426561) (← links)
- Quantifier Elimination for Quantified Propositional Logics on Kripke Frames of Type (Q3520241) (← links)
- SAT in Monadic Gödel Logics: A Borderline between Decidability and Undecidability (Q3638278) (← links)
- (Q4364520) (← links)
- (Q4428309) (← links)
- Hyper Natural Deduction for Gödel Logic—A natural deduction system for parallel reasoning (Q4612437) (← links)
- Hyper Natural Deduction (Q4635835) (← links)
- Gödel logics and the fully boxed fragment of LTL (Q4645749) (← links)
- Gödel Logics – A Survey (Q4933294) (← links)
- Separating intermediate predicate logics of well-founded and dually well-founded structures by monadic sentences (Q5262474) (← links)
- (Q5406038) (← links)
- Characterization of the Axiomatizable Prenex Fragments of First-Order Goedel Logics (Q6472608) (← links)