View in EDS

Bisimulation invariant monadic-second order logic in the finite.

Saved in:
Bibliographic Details
Title: Bisimulation invariant monadic-second order logic in the finite.
Authors: Blumensath, Achim1 (AUTHOR) blumens@fi.muni.cz, Wolf, Felix1,2 (AUTHOR) wolf@temf.tu-darmstadt.de
Source: Theoretical Computer Science. Jul2020, Vol. 823, p26-43. 18p.
Subjects: Bisimulation, Logic, Order
Abstract: We consider bisimulation-invariant monadic second-order logic over various classes of finite transition systems. We present several combinatorial characterisations of when the expressive power of this fragment coincides with that of the modal μ -calculus. Using these characterisations we prove for some simple classes of transition systems that this is indeed the case. In particular, we show that, over the class of all finite transition systems with Cantor–Bendixson rank at most k , bisimulation-invariant Image 1 coincides with L μ. [ABSTRACT FROM AUTHOR]
Copyright of Theoretical Computer Science is the property of Elsevier B.V. and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)
Database: Engineering Source
FullText Text:
  Availability: 0
Header DbId: egs
DbLabel: Engineering Source
An: 143044966
AccessLevel: 6
PubType: Academic Journal
PubTypeId: academicJournal
PreciseRelevancyScore: 0
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: Bisimulation invariant monadic-second order logic in the finite.
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Blumensath%2C+Achim%22">Blumensath, Achim</searchLink><relatesTo>1</relatesTo> (AUTHOR)<i> blumens@fi.muni.cz</i><br /><searchLink fieldCode="AR" term="%22Wolf%2C+Felix%22">Wolf, Felix</searchLink><relatesTo>1,2</relatesTo> (AUTHOR)<i> wolf@temf.tu-darmstadt.de</i>
– Name: TitleSource
  Label: Source
  Group: Src
  Data: <searchLink fieldCode="JN" term="%22Theoretical+Computer+Science%22">Theoretical Computer Science</searchLink>. Jul2020, Vol. 823, p26-43. 18p.
– Name: Subject
  Label: Subjects
  Group: Su
  Data: <searchLink fieldCode="DE" term="%22Bisimulation%22">Bisimulation</searchLink><br /><searchLink fieldCode="DE" term="%22Logic%22">Logic</searchLink><br /><searchLink fieldCode="DE" term="%22Order%22">Order</searchLink>
– Name: Abstract
  Label: Abstract
  Group: Ab
  Data: We consider bisimulation-invariant monadic second-order logic over various classes of finite transition systems. We present several combinatorial characterisations of when the expressive power of this fragment coincides with that of the modal μ -calculus. Using these characterisations we prove for some simple classes of transition systems that this is indeed the case. In particular, we show that, over the class of all finite transition systems with Cantor–Bendixson rank at most k , bisimulation-invariant Image 1 coincides with L μ. [ABSTRACT FROM AUTHOR]
– Name: AbstractSuppliedCopyright
  Label:
  Group: Ab
  Data: <i>Copyright of Theoretical Computer Science is the property of Elsevier B.V. and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract.</i> (Copyright applies to all Abstracts.)
PLink https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=egs&AN=143044966
RecordInfo BibRecord:
  BibEntity:
    Identifiers:
      – Type: doi
        Value: 10.1016/j.tcs.2020.03.001
    Languages:
      – Code: eng
        Text: English
    PhysicalDescription:
      Pagination:
        PageCount: 18
        StartPage: 26
    Subjects:
      – SubjectFull: Bisimulation
        Type: general
      – SubjectFull: Logic
        Type: general
      – SubjectFull: Order
        Type: general
    Titles:
      – TitleFull: Bisimulation invariant monadic-second order logic in the finite.
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Blumensath, Achim
      – PersonEntity:
          Name:
            NameFull: Wolf, Felix
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 02
              M: 07
              Text: Jul2020
              Type: published
              Y: 2020
          Identifiers:
            – Type: issn-print
              Value: 03043975
          Numbering:
            – Type: volume
              Value: 823
          Titles:
            – TitleFull: Theoretical Computer Science
              Type: main
ResultId 1