First-Order Definability of Transition Structures

Kurzanzeige
dc.contributor.authorRumberg, Antje
dc.contributor.authorZanardo, Alberto
dc.date.accessioned2019-09-26T13:47:43Z
dc.date.available2019-09-26T13:47:43Z
dc.date.issued2019-09eng
dc.description.abstractThe 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.eng
dc.description.versionpublishedde
dc.identifier.doi10.1007/s10849-018-9276-4eng
dc.identifier.ppn1678717045
dc.identifier.urihttps://kops.uni-konstanz.de/handle/123456789/47045
dc.language.isoengeng
dc.rightsAttribution 4.0 International
dc.rights.urihttp://creativecommons.org/licenses/by/4.0/
dc.subjectBranching time, Transition semantics, Index structures, First-order definability, Axiomatizabilityeng
dc.subject.ddc100eng
dc.titleFirst-Order Definability of Transition Structureseng
dc.typeJOURNAL_ARTICLEde
dspace.entity.typePublication
kops.citation.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}
}
kops.citation.iso690RUMBERG, 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-4deu
kops.citation.iso690RUMBERG, 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-4eng
kops.citation.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>
kops.description.openAccessopenaccessgoldeng
kops.flag.isPeerReviewedtrueeng
kops.flag.knbibliographyfalse
kops.identifier.nbnurn:nbn:de:bsz:352-2-1ptg5sm10nfro6
kops.sourcefieldJournal of Logic, Language and Information. 2019, <b>28</b>(3), pp. 459-488. ISSN 0925-8531. eISSN 1572-9583. Available under: doi: 10.1007/s10849-018-9276-4deu
kops.sourcefield.plainJournal 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-4deu
kops.sourcefield.plainJournal 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-4eng
relation.isAuthorOfPublicationdc8c46ef-bef7-4af1-8b47-184ee0db5f74
relation.isAuthorOfPublication.latestForDiscoverydc8c46ef-bef7-4af1-8b47-184ee0db5f74
source.bibliographicInfo.fromPage459eng
source.bibliographicInfo.issue3eng
source.bibliographicInfo.toPage488eng
source.bibliographicInfo.volume28eng
source.identifier.eissn1572-9583eng
source.identifier.issn0925-8531eng
source.periodicalTitleJournal of Logic, Language and Informationeng

Dateien

Originalbündel

Gerade angezeigt 1 - 1 von 1
Vorschaubild nicht verfügbar
Name:
Rumberg_2-1ptg5sm10nfro6.pdf
Größe:
727.86 KB
Format:
Adobe Portable Document Format
Beschreibung:
Rumberg_2-1ptg5sm10nfro6.pdf
Rumberg_2-1ptg5sm10nfro6.pdfGröße: 727.86 KBDownloads: 224

Sammlungen

Philosophie: Publikationen