Norbert Preining

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Semantics, specification logic, and Hoare logic of exact real computation Logical Methods in Computer Science	2024-06-27	Paper
Hyper natural deduction for Gödel logic -- a natural deduction system for parallel reasoning Journal Of Logic And Computation	2019-01-31	Paper
Gödel logics and the fully boxed fragment of FO-LTL EPiC Series in Computing	2019-01-10	Paper
On the classification of first order Gödel logics Annals of Pure and Applied Logic	2018-11-07	Paper
Hyper natural deduction 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science	2018-04-23	Paper
Deciding logics of linear Kripke frames with scattered end pieces Soft Computing	2018-02-23	Paper
Liveness properties in CafeOBJ -- a case study for meta-level specifications Logic-Based Program Synthesis and Transformation	2015-10-02	Paper
Separating intermediate predicate logics of well-founded and dually well-founded structures by monadic sentences Journal Of Logic And Computation	2015-07-15	Paper
scientific article; zbMATH DE number 6276272 (Why is no real title available?)	2014-04-01	Paper
First-order satisfiability in Gödel logics: an NP-complete fragment Theoretical Computer Science	2011-12-07	Paper
Gödel logics -- a survey Logic for Programming, Artificial Intelligence, and Reasoning	2010-10-12	Paper
SAT in Monadic Gödel Logics: A Borderline between Decidability and Undecidability Logic, Language, Information and Computation	2009-07-02	Paper
Continuous Fraïssé conjecture Order	2009-04-24	Paper
Quantifier Elimination for Quantified Propositional Logics on Kripke Frames of Type Journal Of Logic And Computation	2008-08-15	Paper
First-order Gödel logics Annals of Pure and Applied Logic	2007-06-25	Paper
Linear Kripke frames and Gödel logics Journal of Symbolic Logic	2007-03-12	Paper
scientific article; zbMATH DE number 1980935 (Why is no real title available?)	2003-09-15	Paper
Characterization of the Axiomatizable Prenex Fragments of First-Order Goedel Logics	2003-03-01	Paper
scientific article; zbMATH DE number 1088205 (Why is no real title available?)	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