Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: tit all "All finitely axiomatizable subframe logics containing the provability logic CSM 0_0 are decidable."
Link zu diesem Datensatz | https://d-nb.info/1190157519 |
Titel | All finitely axiomatizable subframe logics containing the provability logic CSM $_0}$ are decidable / by Frank Wolter |
Person(en) | Wolter, Frank (Verfasser) |
Organisation(en) | SpringerLink (Online service) (Sonstige) |
Umfang/Format | Online-Ressource : online resource. |
Persistent Identifier |
URN: urn:nbn:de:101:1-2019070923004752552501 DOI: 10.1007/s001530050090 |
URL | https://doi.org/10.1007/s001530050090 |
Zeitliche Einordnung | Erscheinungsdatum: 1998 |
DDC-Notation | 511.3 (maschinell ermittelte DDC-Kurznotation) |
Sprache(n) | Englisch (eng) |
Beziehungen | Enthalten in: Archive for mathematical logic (Bd. 37, Nr. 3, date:04.1998: 167-182) |
Sachgruppe(n) | 510 Mathematik |
Online-Zugriff | Archivobjekt öffnen |