Matches in SemOpenAlex for { <https://semopenalex.org/work/W1877763552> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W1877763552 abstract "The long-standing problem of the complete axiomatization of the propositional mu -calculus introduced by D. Kozen (1983) is addressed. The approach can be roughly described as a modified tableau method in the sense that infinite trees labeled with sets of formulas are investigated. The tableau method has already been used in the original paper by Kozen. The reexamination of the general tableau method presented is due to advances in automata theory, especially S. Safra's determinization procedure (1988), connections between automata on infinite trees and games, and experience with the model checking. A finitary complete axiom system for the mu -calculus is obtained. It can be roughly described as a system for propositional modal logic with the addition of a induction rule to reason about least fixpoints.< <ETX xmlns:mml=http://www.w3.org/1998/Math/MathML xmlns:xlink=http://www.w3.org/1999/xlink>></ETX>" @default.
- W1877763552 created "2016-06-24" @default.
- W1877763552 creator A5064757019 @default.
- W1877763552 date "2002-12-31" @default.
- W1877763552 modified "2023-09-23" @default.
- W1877763552 title "On completeness of the mu -calculus" @default.
- W1877763552 cites W17866615 @default.
- W1877763552 cites W1967494119 @default.
- W1877763552 cites W2004306067 @default.
- W1877763552 cites W2015640848 @default.
- W1877763552 cites W2031592188 @default.
- W1877763552 cites W2069709605 @default.
- W1877763552 cites W2083398633 @default.
- W1877763552 cites W2142707270 @default.
- W1877763552 cites W2163151383 @default.
- W1877763552 cites W2170933628 @default.
- W1877763552 cites W4243721161 @default.
- W1877763552 cites W4248784701 @default.
- W1877763552 cites W563652063 @default.
- W1877763552 doi "https://doi.org/10.1109/lics.1993.287593" @default.
- W1877763552 hasPublicationYear "2002" @default.
- W1877763552 type Work @default.
- W1877763552 sameAs 1877763552 @default.
- W1877763552 citedByCount "19" @default.
- W1877763552 countsByYear W18777635522012 @default.
- W1877763552 countsByYear W18777635522016 @default.
- W1877763552 countsByYear W18777635522017 @default.
- W1877763552 countsByYear W18777635522018 @default.
- W1877763552 countsByYear W18777635522019 @default.
- W1877763552 countsByYear W18777635522022 @default.
- W1877763552 crossrefType "proceedings-article" @default.
- W1877763552 hasAuthorship W1877763552A5064757019 @default.
- W1877763552 hasConcept C112505250 @default.
- W1877763552 hasConcept C118615104 @default.
- W1877763552 hasConcept C134306372 @default.
- W1877763552 hasConcept C136119220 @default.
- W1877763552 hasConcept C153269930 @default.
- W1877763552 hasConcept C154945302 @default.
- W1877763552 hasConcept C167729594 @default.
- W1877763552 hasConcept C17231256 @default.
- W1877763552 hasConcept C185592680 @default.
- W1877763552 hasConcept C188027245 @default.
- W1877763552 hasConcept C199343813 @default.
- W1877763552 hasConcept C202444582 @default.
- W1877763552 hasConcept C2524010 @default.
- W1877763552 hasConcept C27508121 @default.
- W1877763552 hasConcept C2777686260 @default.
- W1877763552 hasConcept C2778003309 @default.
- W1877763552 hasConcept C2778249326 @default.
- W1877763552 hasConcept C2778583254 @default.
- W1877763552 hasConcept C33923547 @default.
- W1877763552 hasConcept C41008148 @default.
- W1877763552 hasConcept C69562738 @default.
- W1877763552 hasConcept C71139939 @default.
- W1877763552 hasConcept C71924100 @default.
- W1877763552 hasConceptScore W1877763552C112505250 @default.
- W1877763552 hasConceptScore W1877763552C118615104 @default.
- W1877763552 hasConceptScore W1877763552C134306372 @default.
- W1877763552 hasConceptScore W1877763552C136119220 @default.
- W1877763552 hasConceptScore W1877763552C153269930 @default.
- W1877763552 hasConceptScore W1877763552C154945302 @default.
- W1877763552 hasConceptScore W1877763552C167729594 @default.
- W1877763552 hasConceptScore W1877763552C17231256 @default.
- W1877763552 hasConceptScore W1877763552C185592680 @default.
- W1877763552 hasConceptScore W1877763552C188027245 @default.
- W1877763552 hasConceptScore W1877763552C199343813 @default.
- W1877763552 hasConceptScore W1877763552C202444582 @default.
- W1877763552 hasConceptScore W1877763552C2524010 @default.
- W1877763552 hasConceptScore W1877763552C27508121 @default.
- W1877763552 hasConceptScore W1877763552C2777686260 @default.
- W1877763552 hasConceptScore W1877763552C2778003309 @default.
- W1877763552 hasConceptScore W1877763552C2778249326 @default.
- W1877763552 hasConceptScore W1877763552C2778583254 @default.
- W1877763552 hasConceptScore W1877763552C33923547 @default.
- W1877763552 hasConceptScore W1877763552C41008148 @default.
- W1877763552 hasConceptScore W1877763552C69562738 @default.
- W1877763552 hasConceptScore W1877763552C71139939 @default.
- W1877763552 hasConceptScore W1877763552C71924100 @default.
- W1877763552 hasLocation W18777635521 @default.
- W1877763552 hasOpenAccess W1877763552 @default.
- W1877763552 hasPrimaryLocation W18777635521 @default.
- W1877763552 hasRelatedWork W1581869334 @default.
- W1877763552 hasRelatedWork W1877763552 @default.
- W1877763552 hasRelatedWork W1966928428 @default.
- W1877763552 hasRelatedWork W1982431152 @default.
- W1877763552 hasRelatedWork W2041295283 @default.
- W1877763552 hasRelatedWork W2898863632 @default.
- W1877763552 hasRelatedWork W3166175167 @default.
- W1877763552 hasRelatedWork W3171326489 @default.
- W1877763552 hasRelatedWork W4376122595 @default.
- W1877763552 hasRelatedWork W45950492 @default.
- W1877763552 isParatext "false" @default.
- W1877763552 isRetracted "false" @default.
- W1877763552 magId "1877763552" @default.
- W1877763552 workType "article" @default.