- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1432-0665
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
online resource.
- Erschienen in
-
A topological completeness theorem for transfinite provability logic ; day:22 ; month:2 ; year:2023 ; pages:1-38
Archive for mathematical logic ; (22.2.2023), 1-38
- Klassifikation
-
Mathematik
- Urheber
-
Aguilera, Juan P.
- Beteiligte Personen und Organisationen
-
SpringerLink (Online service)
- DOI
-
10.1007/s00153-023-00863-9
- URN
-
urn:nbn:de:101:1-2023042820593971626815
- Rechteinformation
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
14.08.2025, 10:58 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Aguilera, Juan P.
- SpringerLink (Online service)
Ähnliche Objekte (12)
The completeness theorem for adapted probability logic
On weak completeness of intuitionistic predicative logic
On weak completeness of intuitionistic predicate logic
Internal definability and completeness in modal logic
A Note on Expressive Completeness of Modal Logic
Extending Topological Nexttime Logic
Completeness for the Classical Antecedent Fragment of Inquisitive First-Order Logic
Metrical common fixed point theorems without completeness and closedness
Completeness Result of SLDNF-resolution for a relevant Class of Logic Programs
Topological operators and completeness of spectrum in discrete gauge theories
The Hofmann-Mislove theorem for general topological structures
Deduction and Reduction Theorems for Inferential Erotetic Logic
The completeness theorem for adapted probability logic
On weak completeness of intuitionistic predicative logic
On weak completeness of intuitionistic predicate logic
Internal definability and completeness in modal logic
A Note on Expressive Completeness of Modal Logic
Extending Topological Nexttime Logic
Completeness for the Classical Antecedent Fragment of Inquisitive First-Order Logic
Metrical common fixed point theorems without completeness and closedness
Completeness Result of SLDNF-resolution for a relevant Class of Logic Programs
Topological operators and completeness of spectrum in discrete gauge theories
The Hofmann-Mislove theorem for general topological structures
Deduction and Reduction Theorems for Inferential Erotetic Logic
The completeness theorem for adapted probability logic
On weak completeness of intuitionistic predicative logic
On weak completeness of intuitionistic predicate logic
Internal definability and completeness in modal logic
A Note on Expressive Completeness of Modal Logic
Extending Topological Nexttime Logic
Completeness for the Classical Antecedent Fragment of Inquisitive First-Order Logic
Metrical common fixed point theorems without completeness and closedness
Completeness Result of SLDNF-resolution for a relevant Class of Logic Programs
Topological operators and completeness of spectrum in discrete gauge theories
The Hofmann-Mislove theorem for general topological structures