{"@context":"https:\/\/schema.org\/","@type":"ScholarlyArticle","@id":"#article7401","name":"On closure ordinals for the modal mu-calculus","abstract":"The closure ordinal of a formula of modal mu-calculus mu X phi is the least ordinal kappa, if it exists, such that the denotation of the formula and the kappa-th iteration of the monotone operator induced by phi coincide across all transition systems (finite and infinite). It is known that for every alpha < omega^2 there is a formula phi of modal logic such that mu X phi has closure ordinal alpha (Czarnecki 2010). We prove that the closure ordinals arising from the alternation-free fragment of modal mu-calculus (the syntactic class capturing Sigma_2 \\cap Pi_2) are bounded by omega^2. In this logic satisfaction can be characterised in terms of the existence of tableaux, trees generated by systematically breaking down formulae into their constituents according to the semantics of the calculus. To obtain optimal upper bounds we utilise the connection between closure ordinals of formulae and embedded order-types of the corresponding tableaux.","keywords":["Closure ordinals","Modal mu-calculus","Tableaux"],"author":[{"@type":"Person","name":"Afshari, Bahareh","givenName":"Bahareh","familyName":"Afshari"},{"@type":"Person","name":"Leigh, Graham E.","givenName":"Graham E.","familyName":"Leigh"}],"position":6,"pageStart":30,"pageEnd":44,"dateCreated":"2013-09-02","datePublished":"2013-09-02","isAccessibleForFree":true,"license":"https:\/\/creativecommons.org\/licenses\/by\/3.0\/legalcode","copyrightHolder":[{"@type":"Person","name":"Afshari, Bahareh","givenName":"Bahareh","familyName":"Afshari"},{"@type":"Person","name":"Leigh, Graham E.","givenName":"Graham E.","familyName":"Leigh"}],"copyrightYear":"2013","accessMode":"textual","accessModeSufficient":"textual","creativeWorkStatus":"Published","inLanguage":"en-US","sameAs":"https:\/\/doi.org\/10.4230\/LIPIcs.CSL.2013.30","publisher":"Schloss Dagstuhl \u2013 Leibniz-Zentrum f\u00fcr Informatik","isPartOf":{"@type":"PublicationVolume","@id":"#volume6226","volumeNumber":23,"name":"Computer Science Logic 2013 (CSL 2013)","dateCreated":"2013-09-02","datePublished":"2013-09-02","editor":{"@type":"Person","name":"Ronchi Della Rocca, Simona","givenName":"Simona","familyName":"Ronchi Della Rocca"},"isAccessibleForFree":true,"publisher":"Schloss Dagstuhl \u2013 Leibniz-Zentrum f\u00fcr Informatik","hasPart":"#article7401","isPartOf":{"@type":"Periodical","@id":"#series116","name":"Leibniz International Proceedings in Informatics","issn":"1868-8969","isAccessibleForFree":true,"publisher":"Schloss Dagstuhl \u2013 Leibniz-Zentrum f\u00fcr Informatik","hasPart":"#volume6226"}}}