Doprava zdarma se Zásilkovnou nad 1 299 Kč
PPL Parcel Shop 54 Balík do ruky 74 Balíkovna 49 GLS 54 Kurýr GLS 64 Zásilkovna 44 PPL 99

On the Complexity of Modal Logic Variants and their Fragments

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha On the Complexity of Modal Logic Variants and their Fragments Arne Meier
Libristo kód: 13414783
Nakladatelství Cuvillier Verlag, listopadu 2011
The automatic verification of computer programs is an important step in software engineering. In thi... Celý popis
? points 59 b
589
Skladem u dodavatele Odesíláme za 5-7 dnů

30 dní na vrácení zboží


Mohlo by vás také zajímat


TOP
No. 6 Volume 3 Atsuko Asano / Brožovaná
common.buy 239
Mercy Blade Faith Hunter / Brožovaná
common.buy 223
Globalizovaný Západ Hervé Juvin; Gilles Lipovetsky / Pevná
common.buy 235
Gezeitengrab Elly Griffiths / Brožovaná
common.buy 369
Mr Majestyk Leonard Elmore / Brožovaná
common.buy 294
Malleus Maleficarum Mike Rosen / Brožovaná
common.buy 353
Ingeniería de materiales para industria y construcción José Manuel Franco Gimeno / Brožovaná
common.buy 956
Normativity in Legal Sociology Reza Banakar / Brožovaná
common.buy 3 584
RSC School Shakespeare: The Tempest William Shakespeare / Brožovaná
common.buy 370
Tecnología del instalador electricista José Roldán / Brožovaná
common.buy 870

The automatic verification of computer programs is an important step in software engineering. In this regard temporal logics have been invented as an extension of modal logic which itself is an extension of propositional logic. Therefore, one may call them \emph{modal logic variants}. The first part of this thesis will investigate the two temporal logics CTL and CTL* with respect to their model-checking and satisfiability problem. We will analyze the complexity of fragments of these problems by means of operator and Boolean function restrictions. There we will see for the satisfiability problem, how the operator fragments form a trichotomy and the Boolean fragments form a quartering. The model-checking problem for CTL is divided into three types: monotone, atomic negation, and positive fragments. Surprisingly, we will see that these three fragments are computationally equivalent. Furthermore, several prominent extensions of CTL will be visited and classified with respect to their Boolean and operator fragments.In the second part we will concentrate on description logics which are modal logic extensions settled in the area of semantic web, databases, and artificial intelligence. These types of logics are used to express, and work on, large sets of data. Besides the usual satisfiability problems, we will work with some special kind of implication problem, which is called subsumption. We will see that these logics combine two very strong Boolean concepts, namely implication and conjunction, such that restricting large sets of Boolean functions do not reduce the complexity of the problems significantly.

Informace o knize

Plný název On the Complexity of Modal Logic Variants and their Fragments
Autor Arne Meier
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2011
Počet stran 148
EAN 9783869559292
ISBN 3869559292
Libristo kód 13414783
Nakladatelství Cuvillier Verlag
Váha 202
Rozměry 148 x 210 x 8
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné

Nemáte účet? Získejte výhody Libristo účtu!

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet