Norbert Preining

Available identifiers

zbMath Open preining.norbertMaRDI QIDQ650892

List of research outcomes

Publication	Date of Publication	Type
Semantics, specification logic, and Hoare logic of exact real computation	2024-06-27	Paper
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
Semantics, Specification Logic, and Hoare Logic of Exact Real Computation	N/A	Paper

Research outcomes over time

This page was built for person: Norbert Preining