Julian-Steffen Müller
Broschiertes Buch

Satisfiability and Model Checking in Team Based Logics

Versandkostenfrei!
Versandfertig in 1-2 Wochen
27,74 €
inkl. MwSt.
Weitere Ausgaben:
PAYBACK Punkte
0 °P sammeln!
Dependence and independence between properties is occurring in many different scientific disciplines, for example in the description of discrete systems or during the evaluation of physical experiments. During this thesis we will study a variety of team based logics, which can express some form of dependence or independence. The concept of expressing functional dependencies between terms by atomic FO-formulae was introduced by Väänänen in 2007. He showed that dependence logic is equally expressive as existential second order logic and thus dependence logic characterises NP. In the first cha...