Satisfiability and Model Checking in Team Based Logics - Couverture souple

M�ller, Julian-Steffen

9783954047598: Satisfiability and Model Checking in Team Based Logics

Couverture souple

ISBN 10 : 3954047594 ISBN 13 : 9783954047598

Editeur : Cuvillier Verlag, 2014

Afficher les exemplaires de cette �dition comportant l?ISBN

0 D'occasion

5 Neuf

De EUR 27,74

D�tails de l'�dition

�diteur: Cuvillier Verlag
Date d'�dition: 2014
Langue: anglais
ISBN 10: 3954047594
ISBN 13: 9783954047598
Reliure: Broch�
Nombre de pages: 148
Coordonn�es du fabricant: non disponible
Personne responsable: non disponible

R�sultats de recherche pour Satisfiability and Model Checking in Team Based Logics

Image fournie par le vendeur

Satisfiability and Model Checking in Team Based Logics

Julian-Steffen M�ller

Edit� par Cuvillier Aug 2014, 2014

ISBN 10 : 3954047594 ISBN 13 : 9783954047598

Neuf Taschenbuch

impression � la demande

Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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 chapter of this thesis we are obtaining a Horn fragment of dependence logic which characterises P. In the second part of this thesis we will study the concept of dependence and independence in the context of team based modal logics. We will study several decision problems for these modal logics, like satisfiability and model checking. Furthermore we will investigate the expressive power of these modal logics. Finally we will give a general notion of team atoms and the properties that they are describing. 148 pp. Englisch. N� de r�f. du vendeur 9783954047598

Contacter le vendeur

Acheter neuf

EUR 27,74

Exp�dition �EUR 23
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : 2 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Satisfiability and Model Checking in Team Based Logics

M�ller, Julian-Steffen

Edit� par Cuvillier Verlag, 2014

ISBN 10 : 3954047594 ISBN 13 : 9783954047598

Neuf Couverture souple

impression � la demande

Vendeur : moluna, Greven, Allemagne

�valuation du vendeur 4 sur 5 �toiles

Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. KlappentextrnrnDependence 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 . N� de r�f. du vendeur 117181727

Contacter le vendeur

Acheter neuf

EUR 27,74

Exp�dition �EUR 48,99
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Satisfiability and Model Checking in Team Based Logics

Julian-Steffen M�ller

Edit� par Cuvillier, Cuvillier Aug 2014, 2014

ISBN 10 : 3954047594 ISBN 13 : 9783954047598

Neuf Taschenbuch

Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Taschenbuch. Etat : Neu. Neuware -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 chapter of this thesis we are obtaining a Horn fragment of dependence logic which characterises P. In the second part of this thesis we will study the concept of dependence and independence in the context of team based modal logics. We will study several decision problems for these modal logics, like satisfiability and model checking. Furthermore we will investigate the expressive power of these modal logics. Finally we will give a general notion of team atoms and the properties that they are describing.Books on Demand GmbH, �berseering 33, 22297 Hamburg 148 pp. Englisch. N� de r�f. du vendeur 9783954047598

Contacter le vendeur

Acheter neuf

EUR 27,74

Exp�dition �EUR 60
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : 2 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Satisfiability and Model Checking in Team Based Logics

Julian-Steffen M�ller

Edit� par Cuvillier

ISBN 10 : 3954047594 ISBN 13 : 9783954047598

Neuf Taschenbuch

impression � la demande

Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Taschenbuch. Etat : Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - 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 chapter of this thesis we are obtaining a Horn fragment of dependence logic which characterises P. In the second part of this thesis we will study the concept of dependence and independence in the context of team based modal logics. We will study several decision problems for these modal logics, like satisfiability and model checking. Furthermore we will investigate the expressive power of these modal logics. Finally we will give a general notion of team atoms and the properties that they are describing. N� de r�f. du vendeur 9783954047598

Contacter le vendeur