Till sidans topp

Sidansvarig: Webbredaktion
Sidan uppdaterades: 2012-09-11 15:12

Tipsa en vän
Utskriftsversion

On closure ordinals for t… - Göteborgs universitet Till startsida
Webbkarta
Till innehåll Läs mer om hur kakor används på gu.se

On closure ordinals for the modal μ-calculus

Paper i proceeding
Författare Bahareh Afshari
Graham E. Leigh
Publicerad i Leibniz International Proceedings in Informatics, LIPIcs
ISSN 1868-8969
Publiceringsår 2013
Publicerad vid
Språk en
Ämnesord Closure ordinals, Modal mu-calculus, Tableaux
Ämneskategorier Matematisk logik, Teoretisk datalogi

Sammanfattning

The closure ordinal of a formula of modal μ-calculus μXℓ is the least ordinal κ, if it exists, such that the denotation of the formula and the κ-th iteration of the monotone operator induced by ℓ coincide across all transition systems (finite and infinite). It is known that for every α < ω2 there is a formula ℓ of modal logic such that μXℓ has closure ordinal α [3]. We prove that the closure ordinals arising from the alternation-free fragment of modal μ-calculus (the syntactic class capturing 2 ∩ ∏2) are bounded by ω2. In this logic satisfaction can be characterised in terms of the existence of tableaux, trees generated by systematically breaking down formulæ into their constituents according to the semantics of the calculus. To obtain optimal upper bounds we utilise the connection between closure ordinals of formulæ and embedded order-types of the corresponding tableaux. © Bahareh Afshari and Graham E. Leigh.

Sidansvarig: Webbredaktion|Sidan uppdaterades: 2012-09-11
Dela:

På Göteborgs universitet använder vi kakor (cookies) för att webbplatsen ska fungera på ett bra sätt för dig. Genom att surfa vidare godkänner du att vi använder kakor.  Vad är kakor?