"The Application of Kripke-Type Structures to Regional Development Processes" (1993)
"Das Vollständigkeitsproblem und Gödels Vollständigkeitsbeweis" (2002)
"A modal analysis of some principles of the Provability Logic of Heyting Arithmetic" (2001)
- in: Beckmann A.
"A note on universal measures for weak implicit computational complexity" (2002)
- in: Ciabattoni A., Gabbay D. and Olivetti N.
"Cut-free Proof Systems for Logics of Weak Excluded Middle" (1998)
- in: Ambos-spies K., Terwijn S. A. and Zheng X.
"Resource bounded randomness and weakly complete problems" (1997) - in: Ambos-spies K., Terwijn S. A. and Zheng X.
"Resource bounded randomness and weakly complete problems" (1994)
"Propositional Quantifier Elimination for linearly ordered well founded Kripke frames of type " (2004)
"A non-well-founded primitive recursive tree provably well-founded for co-r.e. sets" (2002)
"Ordinal Notations and Well-Orderings in Bounded Arithmetic" (2003)
"Automatisches Beweisen für Logiksysteme, in denen Widersprüche behandelt werden können" (1987)
"Automatisches Beweisen für Logiksysteme, in denen Widersprüche behandelt werden können" (1987)
- in: Baaz M., Leitsch A. and Zach R.
"Incompleteness of a First-Order Gödel Logic and Some Temporal Logics of Programs" (1995) - in: Baaz M. and Zach R.
"First-order Temporal Logic with Time-Gaps: Complete Sequent Calculus and Resolution System. Revised Version" (1993) - in: Baaz M., Fermüller C. G. and Zach R.
"Systematic Construction of Natural Deduction Systems for Many-valued Logics: Extended Report" (1993) - in: Baaz M. and Zach R.
"Introducing Atomic Cuts into Cut-free -Proofs" (1992) - in: Baaz M.
"Logical Calculi Applied to Problems in Computer Science" (1992) - in: Baaz M., Fermüller C. G. and Zach R.
"Systematic Construction of Natural Deduction Systems for Many-valued Logics" (1992) - in: Baaz M.
"Die Anwendung der Methode der Sequenzialkalküle auf nichtklassische Logiken" (1984) - in: Baaz M.
"The Application of Sequent Calculi to Non-Classical Logics" (1984)
"Logik des Juridischen Schließens" (2001)
- in: Baaz M. and Leitsch A.
"Die Anwendung starker Reduktionsregeln in automatischen Beweisen" (1985) - in: Hlawka E. and Kuich W.
"Geordnete Schätzfunktionen und Diskrepanz. II" (1965) - in: Kuich W.
"Quantitative Aspekte bei Ableitungsbäumen" (1980)
- in: Baaz M. and Ciabattoni A.
"A Schütte-Tait Style Cut-Elimination Proof for First-Order Gödel Logic" (2002) - in: Baaz M.
"Proof Analysis by Resolution" (2002) - in: Baaz M., Fermüller C. G. and Veith H.
"An Analytic Calculus for Quantified Propositional Gödel Logic" (2000) - in: Baaz M. and Fermüller C. G.
"Analytic Calculi for Projective Logics" (1999) - in: Baaz M., Egly U. and Fermüller C. G.
"Lean Induction Principles for Tableaux" (1997) - in: Baaz M. and Fermüller C. G.
"Combining Many-valued and Intuitionistic Tableaux" (1996) - in: Baaz M., Leitsch A. and Zach R.
"Completeness of a First-order Temporal Logic with Time-Gaps" (1996) - in: Baaz M.
"Infinite-valued Gödel Logics with 0-1-Projections and Relativizations" (1996) - in: Baaz M. and Fermüller C. G.
"Non-elementary Speedups between Different Versions of Tableaux" (1995) - in: Baaz M. and Fermüller C. G.
"A Resolution principle for Quantificational with an Application to Knowledge Representation" (1993) - in: Baaz M. and Zach R.
"First-order Temporal Logic with Time-Gaps: Complete Sequent Calculus and Resolution System. Revised Version" (1993) - in: Baaz M., Fermüller C. G. and Zach R.
"Dual Systems of Sequents and Tableaux for Many-valued Logics" (1992) - in: Baaz M. and Quirchmayr G.
"Logic-Based Models of Analogical Reasoning" (1992) - in: Baaz M. and Quirchmayr G.
"Automated Theorem Proving for the Deduction of Knowledge in Databases with Contradictionary Information" (1988) - in: Beckmann A.
"Resolution refutations and propositional proofs with height-restriction" (2002) - in: Ciabattoni A. and Metcalfe G.
" Bounded Lukasiewicz Logics" (2003) - in: Ciabattoni A., Godo L. and Esteva F.
"T-norm based logics with -contraction" (2002) - in: Ciabattoni A. and Ferrari M.
"Hypersequent calculi for some intermediate logics with bounded Kripke models" (2001) - in: Ciabattoni A. and Ferrari M.
"Hypertableau and Path-Hypertableau Calculi for some families of intermediate logics" (2000) - in: Ciabattoni A.
"Bounded Contraction in Systems with Linearity" (1999) - in: Ciabattoni A.
"Bounded Contraction in Systems with Linearity" (1999)
"Interpretations of Combinatory Algebras" (1993)
- in: Baaz M., Ciabattoni A., Preining N. and Veith H.
"A Guide to Quantified Propositional Gödel Logic" (2001) - in: Baaz M. and Leitsch A.
"Fast Cut-Elimination by Projection" (1997) - in: Baaz M. and Fermüller C. G.
"Combining Many-valued and Intuitionistic Tableaux" (1996) - in: Baaz M., Leitsch A. and Zach R.
"Incompleteness of a First-order Gödel Logic and Some Temporal Logics of Programs" (1996) - in: Baaz M. and Fermüller C. G.
"Non-elementary Speedups between Different Versions of Tableaux" (1995) - in: Baaz M. and Salzer G.
"Semi-Unification and Generalizations of a Particularly Simple Form" (1995) - in: Baaz M. and Zach R.
"Short Proofs of Tautologies Using the Schema of Equivalence" (1994) - in: Baaz M. and Quirchmayr G.
"A Logic Based Model of Legal Decision Making" (1990) - in: Baaz M. and Quirchmayr G.
"Models of Juridical Decisions Based on the Concept of Possible Worlds" (1988) - in: Beckmann A.
"Resolution refutations and propositional proofs with height-restriction" (2002) - in: Hitchcock J. M., Lutz J. H. and Terwijn S. A.
"The arithmetical complexity of dimension and randomness" (2003)
"T-norm based logics with -contraction" (2002)
"Models of Juridical Decisions Based on the Concept of Possible Worlds" (1988)
"Dual Systems of Sequents and Tableaux for Many-valued Logics" (1992)
