Norbert Preining

According to our database, Norbert Preining authored at least 21 papers between 1997 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Semantics, Specification Logic, and Hoare Logic of Exact Real Computation.

Sewon Park, Franz Brauße, Pieter Collins, SunYoung Kim, Michal Konecný, Gyesik Lee, Norbert Th. Müller, Eike Neumann, Norbert Preining, Martin Ziegler

Log. Methods Comput. Sci., 2024

2019

On the classification of first order Gödel logics.

Matthias Baaz, Norbert Preining

Ann. Pure Appl. Log., 2019

2018

Hyper Natural Deduction for Gödel Logic - A natural deduction system for parallel reasoning.

Arnold Beckmann, Norbert Preining

J. Log. Comput., 2018

2017

Deciding logics of linear Kripke frames with scattered end pieces.

Arnold Beckmann, Norbert Preining

Soft Comput., 2017

Gödel logics and the fully boxed fragment of LTL.

Matthias Baaz, Norbert Preining

Proceedings of the LPAR-21, 2017

2016

On Formal Verification in Imperative Multivalued Programming over Continuous Data Types.

Norbert Th. Müller, Sewon Park, Norbert Preining, Martin Ziegler

CoRR, 2016

2015

Separating intermediate predicate logics of well-founded and dually well-founded structures by monadic sentences.

Arnold Beckmann, Norbert Preining

J. Log. Comput., 2015

Hyper Natural Deduction.

Arnold Beckmann, Norbert Preining

Proceedings of the 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 2015

2014

Liveness Properties in CafeOBJ - A Case Study for Meta-Level Specifications.

Norbert Preining, Kazuhiro Ogata, Kokichi Futatsugi

Proceedings of the Logic-Based Program Synthesis and Transformation, 2014

2013

An Empirical Illustration to Validate a FLOSS Development Model Using S-Shaped Curves.

Ana Erika Camargo Cruz, Hajimu Iida, Norbert Preining

Proceedings of the 2013 IEEE International Conference on Software Maintenance, 2013

2011

First-order satisfiability in Gödel logics: An NP-complete fragment.

Matthias Baaz, Agata Ciabattoni, Norbert Preining

Theor. Comput. Sci., 2011

2010

Gödel Logics - A Survey.

Norbert Preining

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2010

2009

SAT in Monadic Gödel Logics: A Borderline between Decidability and Undecidability.

Matthias Baaz, Agata Ciabattoni, Norbert Preining

Proceedings of the Logic, 2009

2008

Continuous Fraïssé Conjecture.

Arnold Beckmann, Martin Goldstern, Norbert Preining

Order, 2008

Quantifier Elimination for Quantified Propositional Logics on Kripke Frames of Type omega.

Matthias Baaz, Norbert Preining

J. Log. Comput., 2008

2007

Linear Kripke frames and Gödel logics.

Arnold Beckmann, Norbert Preining

J. Symb. Log., 2007

First-order Gödel logics.

Matthias Baaz, Norbert Preining, Richard Zach

Ann. Pure Appl. Log., 2007

2006

Completeness of a Hypersequent Calculus for Some First-order Godel Logics with Delta.

Matthias Baaz, Norbert Preining, Richard Zach

Proceedings of the 36th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2006), 2006

2003

Characterization of the Axiomatizable Prenex Fragments of First-Order Gödel Logics.

Matthias Baaz, Norbert Preining, Richard Zach

Proceedings of the 33rd IEEE International Symposium on Multiple-Valued Logic (ISMVL 2003), 2003

2002

Gödel Logics and Cantor-Bendixon Analysis.

Norbert Preining

Proceedings of the Logic for Programming, 2002

1997

Sketch-as-Proof.

Norbert Preining

Proceedings of the Computational Logic and Proof Theory, 5th Kurt Gödel Colloquium, 1997