Publikation:

First-Order Definability of Transition Structures

Vorschaubild

Dateien

Rumberg_2-1ptg5sm10nfro6.pdf
Rumberg_2-1ptg5sm10nfro6.pdfGröße: 727.86 KBDownloads: 193

Datum

2019

Autor:innen

Zanardo, Alberto

Herausgeber:innen

Kontakt

ISSN der Zeitschrift

Electronic ISSN

ISBN

Bibliografische Daten

Verlag

Schriftenreihe

Auflagebezeichnung

URI (zitierfähiger Link)
http://nbn-resolving.de/urn:nbn:de:bsz:352-2-1ptg5sm10nfro6
DOI (zitierfähiger Link)
https://doi.org/10.1007/s10849-018-9276-4
ArXiv-ID

Internationale Patentnummer

Link zur Lizenz

CC BY 4.0

Angaben zur Forschungsförderung

Projekt

Open Access-Veröffentlichung
Open Access Gold

Sammlungen

Philosophie: Publikationen
Core Facility der Universität Konstanz

Gesperrt bis

Titel in einer weiteren Sprache

Publikationstyp
Zeitschriftenartikel
Publikationsstatus
Published

Erschienen in

Journal of Logic, Language and Information. 2019, 28(3), pp. 459-488. ISSN 0925-8531. eISSN 1572-9583. Available under: doi: 10.1007/s10849-018-9276-4

Zusammenfassung

The transition semantics presented in Rumberg (J Log Lang Inf 25(1):77–108, 2016a) constitutes a fine-grained framework for modeling the interrelation of modality and time in branching time structures. In that framework, sentences of the transition language Lt are evaluated on transition structures at pairs consisting of a moment and a set of transitions. In this paper, we provide a class of first-order definable Kripke structures that preserves Lt-validity w.r.t. transition structures. As a consequence, for a certain fragment of Lt, validity w.r.t. transition structures turns out to be axiomatizable. The result is then extended to the entire language Lt by means of a quite natural ‘Henkin move’, i.e. by relaxing the notion of validity to bundled structures.

Zusammenfassung in einer weiteren Sprache

Fachgebiet (DDC)
100 Philosophie

Schlagwörter

Branching time, Transition semantics, Index structures, First-order definability, Axiomatizability

Konferenz

Rezension
undefined / . - undefined, undefined

Forschungsvorhaben

Organisationseinheiten

Zeitschriftenheft

Zugehörige Datensätze in KOPS

Zitieren

ISO 690RUMBERG, Antje, Alberto ZANARDO, 2019. First-Order Definability of Transition Structures. In: Journal of Logic, Language and Information. 2019, 28(3), pp. 459-488. ISSN 0925-8531. eISSN 1572-9583. Available under: doi: 10.1007/s10849-018-9276-4
BibTex
@article{Rumberg2019-09First-47045,
  year={2019},
  doi={10.1007/s10849-018-9276-4},
  title={First-Order Definability of Transition Structures},
  number={3},
  volume={28},
  issn={0925-8531},
  journal={Journal of Logic, Language and Information},
  pages={459--488},
  author={Rumberg, Antje and Zanardo, Alberto}
}
RDF
<rdf:RDF
    xmlns:dcterms="http://purl.org/dc/terms/"
    xmlns:dc="http://purl.org/dc/elements/1.1/"
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:bibo="http://purl.org/ontology/bibo/"
    xmlns:dspace="http://digital-repositories.org/ontologies/dspace/0.1.0#"
    xmlns:foaf="http://xmlns.com/foaf/0.1/"
    xmlns:void="http://rdfs.org/ns/void#"
    xmlns:xsd="http://www.w3.org/2001/XMLSchema#" > 
  <rdf:Description rdf:about="https://kops.uni-konstanz.de/server/rdf/resource/123456789/47045">
    <dcterms:issued>2019-09</dcterms:issued>
    <dc:rights>Attribution 4.0 International</dc:rights>
    <bibo:uri rdf:resource="https://kops.uni-konstanz.de/handle/123456789/47045"/>
    <dc:contributor>Zanardo, Alberto</dc:contributor>
    <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2019-09-26T13:47:43Z</dc:date>
    <dc:creator>Zanardo, Alberto</dc:creator>
    <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/>
    <dc:creator>Rumberg, Antje</dc:creator>
    <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/40"/>
    <dcterms:title>First-Order Definability of Transition Structures</dcterms:title>
    <dcterms:hasPart rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/47045/1/Rumberg_2-1ptg5sm10nfro6.pdf"/>
    <dc:language>eng</dc:language>
    <dspace:hasBitstream rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/47045/1/Rumberg_2-1ptg5sm10nfro6.pdf"/>
    <dcterms:rights rdf:resource="http://creativecommons.org/licenses/by/4.0/"/>
    <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/40"/>
    <dcterms:abstract xml:lang="eng">The transition semantics presented in Rumberg (J Log Lang Inf 25(1):77–108, 2016a) constitutes a fine-grained framework for modeling the interrelation of modality and time in branching time structures. In that framework, sentences of the transition language L&lt;sub&gt;t&lt;/sub&gt; are evaluated on transition structures at pairs consisting of a moment and a set of transitions. In this paper, we provide a class of first-order definable Kripke structures that preserves L&lt;sub&gt;t&lt;/sub&gt;-validity w.r.t. transition structures. As a consequence, for a certain fragment of L&lt;sub&gt;t&lt;/sub&gt;, validity w.r.t. transition structures turns out to be axiomatizable. The result is then extended to the entire language L&lt;sub&gt;t&lt;/sub&gt; by means of a quite natural ‘Henkin move’, i.e. by relaxing the notion of validity to bundled structures.</dcterms:abstract>
    <foaf:homepage rdf:resource="http://localhost:8080/"/>
    <dc:contributor>Rumberg, Antje</dc:contributor>
    <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2019-09-26T13:47:43Z</dcterms:available>
  </rdf:Description>
</rdf:RDF>

Interner Vermerk

xmlui.Submission.submit.DescribeStep.inputForms.label.kops_note_fromSubmitter

Kontakt
URL der Originalveröffentl.

Prüfdatum der URL

Prüfungsdatum der Dissertation

Finanzierungsart

Kommentar zur Publikation

Allianzlizenz
Corresponding Authors der Uni Konstanz vorhanden
Internationale Co-Autor:innen
Universitätsbibliographie
Nein
Begutachtet
Ja
Diese Publikation teilen