Norbert Preining

Available identifiers

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

No records found.

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Norbert Preining