Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Bücher
Zeitschriften
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
SLX-Digitalkonferenz: Zukunftswerkstatt 2024

Mehr Umsatz mit Top-Kontakten

Am 7. Mai erfahren Sie, wie Vertriebsteams Leadgenerierung, Leadnurturing und Leadstrategien effizient steuern können.
Erweiterte Suche
Anmelden
nach oben
Soft Computing
Erschienen in: Soft Computing 1/2017

22.10.2016 | Focus

Deciding logics of linear Kripke frames with scattered end pieces

verfasst von: Arnold Beckmann, Norbert Preining

Erschienen in: Soft Computing | Ausgabe 1/2017

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

We show that logics based on linear Kripke frames—with or without constant domains—that have a scattered end piece are not recursively enumerable. This is done by reduction to validity in all finite classical models.
Vorheriger Artikel Density revisited
Nächster Artikel Assessment of prediction ability for reduced probabilistic neural network in data classification problems

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Jetzt informieren
Literatur
Baaz M, Iemhoff R (2005) On interpolation in existence logics. In: Logic for programming, artificial intelligence, and reasoning: 12th international conference, LPAR 2005, Montego Bay, Jamaica, December 2–6, 2005. Proceedings. Springer, Berlin, pp 697–711
Baaz M, Iemhoff R (2006) The skolemization of existential quantifiers in intuitionistic logic. Ann Pure Appl Log 142(1):269–295CrossRefMATHMathSciNet
Baaz M, Preining N, Zach R (2007) First-order Gödel logics. Ann Pure Appl Log 147:23–47CrossRefMATH
Beckmann A, Preining N (2007) Linear Kripke frames and Gödel logics. J Symb Log 71(1):26–44CrossRefMATH
Scott D (1979) Identity and existence in intuitionistic logic. In: Applications of sheaves: proceedings of the research symposium on applications of sheaf theory to logic, algebra, and analysis, Durham, July 9–21, 1977. Springer, Berlin, pp 660–696
Metadaten
Titel
Deciding logics of linear Kripke frames with scattered end pieces
verfasst von
Arnold Beckmann
Norbert Preining
Publikationsdatum
22.10.2016
Verlag
Springer Berlin Heidelberg
Erschienen in
Soft Computing / Ausgabe 1/2017
Print ISSN: 1432-7643
Elektronische ISSN: 1433-7479
DOI
https://doi.org/10.1007/s00500-016-2400-y

Weitere Artikel der Ausgabe 1/2017

Soft Computing 1/2017 Zur Ausgabe

Methodologies and Application

Motion retrieval based on Motion Semantic Dictionary and HMM inference

Methodologies and Application

Motion retrieval based on Dynamic Bayesian Network and Canonical Time Warping

Focus

Varieties of BL-algebras I, revisited

Preface

Preface

Methodologies and Application

A hybrid spam detection method based on unstructured datasets

Focus

Generalised states: a multi-sorted algebraic approach to probability