Satisfiability and Model Checking in Team Based Logics

Name: Satisfiability and Model Checking in Team Based Logics
Brand: Cuvillier Verlag
SKU: 9783954047598
Price: 9355 HUF
Availability: InStock

Szerző: Julian-Steffen Müller

Nyelv:

Kötés: Puha kötésű

Kiadó: Cuvillier Verlag

Elérhetőség: Beszállítói készleten

Küldés 8-11 napon belül

9 355 Ft

Dependence and independence between properties is occurring in many different scientific disciplines...

Információk a könyvről

Szerző

Julian-Steffen Müller

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

2014

oldal

148

EAN

9783954047598

ISBN

3954047594

Enbook ID

12828600

Kiadó

Cuvillier Verlag

Súly

202

Méretek

148 x 210 x 8

Teljes leírás

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.

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Satisfiability and Model Checking in Team Based Logics

Információk a könyvről

Teljes leírás

Érdekelheti

On the Priesthood

Stone Age Beasts

Actions Speak Louder Than Words (1870)

Endophthalmitis

Monologue

National Research Council in The Innovation Policy Era

Behind Closed Doors

Clockwise: Intermediate: Classbook

Troll Wall

Wild Harvest

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

IV convenio colectivo general del sector de la construcción : nivel básico de prevención en la construccion

CHARIOTS OF FIRE FANFARE -PARTITION+PARTIES SEPAREES

Data Face

GIGANTIC

Histoires de vie, témoignages, autobiographies de terrain

Domine GIMP : manual práctico

Albatros

Marketing con visión de futuro : alcanzar y mantener el éxito de la empresa

La mujer con el corazón lleno de tormentas

Repaso matemáticas, 3 Educación Primaria, 2 ciclo. Vacaciones del alumno

Seguridad e higiene en el trabajo

Saemtliche Werke - Band 10- Der verliebte Europaeer - Der verkehrte Staatsmann - Bruder Blaumantel - Der verliebte Oesterreicher

Mice