Notes on my scientific life
From MaRDI portal
Publication:6612807
DOI10.1007/978-3-031-47921-2_1MaRDI QIDQ6612807
Publication date: 1 October 2024
Modal logic (including the logic of norms) (03B45) Biographies, obituaries, personalia, bibliographies (01A70) Subsystems of classical logic (including intuitionistic logic) (03B20) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Extendible formulas in two variables in intuitionistic logic
- The de Jongh property for basic arithmetic
- Intermediate logics and the de Jongh property
- A note on the diagonalizable algebras of PA and ZF
- The \(\Sigma_1\)-provability logic of \(\mathsf{HA}\)
- Frame based formulas for intermediate logics
- Interpretability in PRA
- Self-reference and modal logic
- Provability: The emergence of a mathematical modality
- Explicit fixed points in interpretability logic
- Computations in fragments of intuitionistic propositional logic
- Provability interpretations of modal logic
- Subminimal negation
- Stable formulas in intuitionistic logic
- Subintuitionistic logics and the implications they prove
- Proof theory for positive logic with weak negation
- Logics of intuitionistic Kripke-Platek set theory
- Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
- Universal models for the positive fragment of intuitionistic logic
- Subintuitionistic logics with Kripke semantics
- Explicating logical independence
- Kennzeichnung von Ordnungszahlen durch rekursiv erklärte Funktionen
- Binary modal companions for subintuitionistic logics
- Intuitionistic implication without disjunction
- Jankov’s Theorems for Intermediate Logics in the Setting of Universal Models
- Solution of a problem of Leon Henkin
- Semiorders and a Theory of Utility Discrimination
- Eine Unableitbarkeitsbeweismethode für den Intuitionistischen Aussagenkalkül
- Properties of Intuitionistic Provability and Preservativity Logics
- The Kuznetsov-Gerčiu and Rieger-Nishimura logics
- Unifiability in extensions of K4
- On the quantificational logic of intuitionistic set theory
- Weak Logics with Strict Implication
- Provable Fixed Points
- Rosser sentences
- Inductive inference of formal languages from positive data
- On an interpretation of second order quantification in first order intuitionistic propositional logic
- Rules of inference with parameters for intuitionistic logic
- Bounds for the closure ordinals of replete monotonic increasing functions
- Much Shorter Proofs
- Unification in intuitionistic logic
- Admissible and derivable rules in intuitionistic logic
- A small reflection principle for bounded arithmetic
- Characterization of strongly equivalent logic programs in intermediate logics
- Weak subintuitionistic logics
- Finitely generated free Heyting algebras
- On the completenes principle: A study of provability in heyting's arithmetic and extensions
- A sequence of decidable finitely axiomatizable intermediate logics with the disjunction property
- The decidability of dependency in intuitionistic propositional logic
- Comparing strengths of beliefs explicitly
- The interpretability logic of Peano arithmetic
- Logic and Learning
- Well-Quasi-Ordering, The Tree Theorem, and Vazsonyi's Conjecture
- An extension of a theorem of Gaifman-Hales-Solvay
- Logical connectives for intuitionistic propositional logic
- Existence and feasibility in arithmetic
- Language identification in the limit
- Points and Spaces
- NNIL-formulas revisited: Universal models and finite model property
- Substitutions of \(\Sigma_1^0\)-sentences: Explorations between intuitionistic propositional logic and intuitionistic arithmetic
- A(nother) characterization of intuitionistic propositional logic
- A study of subminimal logics of negation and their modal companions
- Finite identification with positive and with complete data
- Two neighborhood semantics for subintuitionistic logics
This page was built for publication: Notes on my scientific life
