Norbert Preining

Available identifiers

zbMath Open preining.norbertMaRDI QIDQ650892

List of research outcomes

Publication	Date of Publication	Type
Hyper Natural Deduction for Gödel Logic—A natural deduction system for parallel reasoning	2019-01-31	Paper
Gödel logics and the fully boxed fragment of LTL	2019-01-10	Paper
On the classification of first order Gödel logics	2018-11-07	Paper
Hyper Natural Deduction	2018-04-23	Paper
Deciding logics of linear Kripke frames with scattered end pieces	2018-02-23	Paper
Liveness Properties in CafeOBJ – A Case Study for Meta-Level Specifications	2015-10-02	Paper
Separating intermediate predicate logics of well-founded and dually well-founded structures by monadic sentences	2015-07-15	Paper
https://portal.mardi4nfdi.de/entity/Q5406038	2014-04-01	Paper
First-order satisfiability in Gödel logics: an NP-complete fragment	2011-12-07	Paper
Gödel Logics – A Survey	2010-10-12	Paper
SAT in Monadic Gödel Logics: A Borderline between Decidability and Undecidability	2009-07-02	Paper
Continuous Fraïssé conjecture	2009-04-24	Paper
Quantifier Elimination for Quantified Propositional Logics on Kripke Frames of Type	2008-08-15	Paper
First-order Gödel logics	2007-06-25	Paper
Linear Kripke frames and Gödel logics	2007-03-12	Paper
https://portal.mardi4nfdi.de/entity/Q4428309	2003-09-15	Paper
Characterization of the Axiomatizable Prenex Fragments of First-Order Goedel Logics	2003-03-01	Paper
https://portal.mardi4nfdi.de/entity/Q4364520	1998-01-07	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Norbert Preining