FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2106989325> ?p ?o ?g. }

• W2106989325 abstract "This dissertation is a contribution to the study of infinite graphs which can be presented in a finitary way. In particular, the class of rational graphs is studied. The vertices of a rational graph are labeled by a regular language in some finite alphabet and the set of edges of a rational graph is a rational relation on that language. While the first-order logics of these graphs are generally not decidable, the basic modal and tense logics are. A survey on the class of rational graphs is done, whereafter rational Kripke models are studied. These models have rational graphs as underlying frames and are equipped with rational valuations. A rational valuation assigns a regular language to each propositional variable. I investigate modal languages with decidable model checking on rational Kripke models. This leads me to consider regularity preserving relations to see if the class can be generalised even further. Then the concept of a graph being rationally presentable is examined this is analogous to a graph being automatically presentable. Furthermore, some model theoretic properties of rational Kripke models are examined. In particular, bisimulation equivalences between rational Kripke models are studied. I study three subclasses of rational Kripke models. I give a summary of the results that have been obtained for these classes, look at examples (and non-examples in the case of automatic Kripke frames) and of particular interest is finding extensions of the basic tense logic with decidable model checking on these subclasses. An extension of rational Kripke models is considered next: omega-rational Kripke models. Some of their properties are examined, and again I am particularly interested in finding modal languages with decidable model checking on these classes. Finally I discuss some applications, for example bounded model checking on rational Kripke models, and mention possible directions for further research." @default.
• W2106989325 created "2016-06-24" @default.
• W2106989325 creator A5041192549 @default.
• W2106989325 date "2008-06-20" @default.
• W2106989325 modified "2023-09-24" @default.
• W2106989325 title "Modal logics on rational Kripke structures" @default.
• W2106989325 cites W1483655485 @default.
• W2106989325 cites W1486919964 @default.
• W2106989325 cites W1491217533 @default.
• W2106989325 cites W1505482284 @default.
• W2106989325 cites W1510535793 @default.
• W2106989325 cites W1512310098 @default.
• W2106989325 cites W1517606395 @default.
• W2106989325 cites W1517623691 @default.
• W2106989325 cites W1519355983 @default.
• W2106989325 cites W1538240903 @default.
• W2106989325 cites W1544459976 @default.
• W2106989325 cites W1545078593 @default.
• W2106989325 cites W1547822735 @default.
• W2106989325 cites W1554045856 @default.
• W2106989325 cites W1556844982 @default.
• W2106989325 cites W1557611231 @default.
• W2106989325 cites W1557750304 @default.
• W2106989325 cites W1563289313 @default.
• W2106989325 cites W1572832005 @default.
• W2106989325 cites W1576712931 @default.
• W2106989325 cites W1580591826 @default.
• W2106989325 cites W1583869287 @default.
• W2106989325 cites W1589224558 @default.
• W2106989325 cites W1590802680 @default.
• W2106989325 cites W1604983619 @default.
• W2106989325 cites W1755755119 @default.
• W2106989325 cites W1787074469 @default.
• W2106989325 cites W1816620374 @default.
• W2106989325 cites W1834186039 @default.
• W2106989325 cites W1861590051 @default.
• W2106989325 cites W1965306495 @default.
• W2106989325 cites W1966217515 @default.
• W2106989325 cites W1968448471 @default.
• W2106989325 cites W1976772375 @default.
• W2106989325 cites W1988808695 @default.
• W2106989325 cites W1994143452 @default.
• W2106989325 cites W1998523218 @default.
• W2106989325 cites W2000287214 @default.
• W2106989325 cites W2003378122 @default.
• W2106989325 cites W2005312844 @default.
• W2106989325 cites W2005868161 @default.
• W2106989325 cites W2016115448 @default.
• W2106989325 cites W2021426226 @default.
• W2106989325 cites W2029001366 @default.
• W2106989325 cites W2033186040 @default.
• W2106989325 cites W2035905643 @default.
• W2106989325 cites W2037185109 @default.
• W2106989325 cites W2040718457 @default.
• W2106989325 cites W2048355938 @default.
• W2106989325 cites W2052882335 @default.
• W2106989325 cites W2059501879 @default.
• W2106989325 cites W2065176784 @default.
• W2106989325 cites W2099251677 @default.
• W2106989325 cites W2101592234 @default.
• W2106989325 cites W2103800897 @default.
• W2106989325 cites W2114132089 @default.
• W2106989325 cites W2118713151 @default.
• W2106989325 cites W2126382654 @default.
• W2106989325 cites W2131742729 @default.
• W2106989325 cites W2132783167 @default.
• W2106989325 cites W2133431834 @default.
• W2106989325 cites W2138856440 @default.
• W2106989325 cites W2155243135 @default.
• W2106989325 cites W2162583406 @default.
• W2106989325 cites W2296095876 @default.
• W2106989325 cites W2340735175 @default.
• W2106989325 cites W2610670723 @default.
• W2106989325 cites W2724823900 @default.
• W2106989325 cites W2740824570 @default.
• W2106989325 cites W2777836017 @default.
• W2106989325 cites W3102069426 @default.
• W2106989325 cites W39669875 @default.
• W2106989325 cites W3202227343 @default.
• W2106989325 hasPublicationYear "2008" @default.
• W2106989325 type Work @default.
• W2106989325 sameAs 2106989325 @default.
• W2106989325 citedByCount "0" @default.
• W2106989325 crossrefType "dissertation" @default.
• W2106989325 hasAuthorship W2106989325A5041192549 @default.
• W2106989325 hasConcept C110251889 @default.
• W2106989325 hasConcept C11413529 @default.
• W2106989325 hasConcept C118615104 @default.
• W2106989325 hasConcept C153269930 @default.
• W2106989325 hasConcept C160131679 @default.
• W2106989325 hasConcept C161913894 @default.
• W2106989325 hasConcept C185592680 @default.
• W2106989325 hasConcept C188027245 @default.
• W2106989325 hasConcept C27508121 @default.
• W2106989325 hasConcept C33923547 @default.
• W2106989325 hasConcept C71139939 @default.
• W2106989325 hasConceptScore W2106989325C110251889 @default.
• W2106989325 hasConceptScore W2106989325C11413529 @default.
• W2106989325 hasConceptScore W2106989325C118615104 @default.
• W2106989325 hasConceptScore W2106989325C153269930 @default.

• next