Articoli correlati a Complexity and Expressivity of Dependence Logic Extensions
Risultati della ricerca per Complexity and Expressivity of Dependence Logic Extensions
Immagini fornite dal venditore
Complexity and Expressivity of Dependence Logic Extensions
Print on DemandDa: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Dependence Logic (D) wurde 2007 von Jouko Väänänen erstmals vorgestellt. Hierbei handelte es sich um eine Logik, welche die Prädikatenlogik der ersten Stufe um das sogenannte dependence Atom (in Zeichen =(t_1,¿,t_n)) erweitert. Es ist erfüllt, wenn die funktionale Abhängigkeit des Terms t_n von den Termen t_1,¿, t_n-1 gegeben ist, d.h. wenn t_n eine Funktion von t_1,¿, t_n-1 ist. 2009 wurde eine modale Version der dependence Logik (MDL) von Abramsky und Väänänen erstmals vorgestellt.In dieser Arbeit betrachten wir sowohl modale als sich die prädikatenlogische Variante. In Kapitel 3 stellen wir die Erweiterungen der dependence Logik um die Quantoren M und ein Paritätsquantor. Der Quantor M ist erfüllt, wenn mindestens die Hälfte aller Belegungen für die quantifizierte Variable wahr ist. Der Paritätsquantor wird wahr, wenn eine gerade Anzahl von Belegungen der quantifizierten Variablen wahr ist. In Kapitel 3 zeigen wir, dass dependence Logik erweitert um M mit der Hierarchie der Zählklassen PP (CH) übereinstimmt und dependence Logik erweitert um den Paritätsquantor mit der Komplexitätsklasse parityP. Kapitel 4 beschäftigt sich mit erweiterter modalen dependence Logik (EMDL), welche auf der von Sevenster und Väänänen vorgestellten modalen dependence Logik beruht. Hierbei wird das dependence Atom =(p_1,¿, p_n), welches in MDL nur auf atomare Propositionen p_1,¿,p_n angewendet wird, durch ein neues dependence Atom ersetzt, welches auch modalligische Formeln beinhalten kann. Wir zeigen, dass die Komplexität des Modellprüfungsproblems sowie die Komplexität des Erfüllbarkeitsproblems nicht schwieriger sind, als die korrespondierenden Probleme auf der Logik MDL. Außerdem zeigen wir, dass es EMDL Formeln gibt, die nicht durch MDL Formeln abgebildet werden können. In Kapitel 5 wird wieder eine Variante der prädikatenlogischen dependence Logik vorgestellt. Diese Boole¿scher dependence Logik BD wird mit sogenannten partially ordered connectives verglichen, welche von Henkin vorgestellt wurden. Dabei wird gezeigt, dass die Logiken sowie ihre Fragmente äquivalent sind. Des Weiteren wird gezeigt, dass Boole¿sche dependence Logik eine strikte Trennung zu ihren Logikfragmenten aufweist. Das heißt, dass es Formeln in einem Fragment der Logik gibt, die sich nicht in einem kleineren Fragment der Logik darstellen lassen. 114 pp. Englisch. Codice articolo 9783954046294
Compra nuovo
EUR 18,81
Spedizione EUR 23,00
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 2 disponibili
Immagini fornite dal venditore
Complexity and Expressivity of Dependence Logic Extensions
Da: moluna, Greven, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 148487454
Compra nuovo
EUR 18,81
Spedizione EUR 48,99
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Complexity and Expressivity of Dependence Logic Extensions
Editore:
Cuvillier, Cuvillier Feb 2014, 2014
ISBN 10: 3954046296
ISBN 13: 9783954046294
Nuovo
Taschenbuch
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Dependence Logic (D) wurde 2007 von Jouko Väänänen erstmals vorgestellt. Hierbei handelte es sich um eine Logik, welche die Prädikatenlogik der ersten Stufe um das sogenannte dependence Atom (in Zeichen =(t_1,.,t_n)) erweitert. Es ist erfüllt, wenn die funktionale Abhängigkeit des Terms t_n von den Termen t_1,., t_n-1 gegeben ist, d.h. wenn t_n eine Funktion von t_1,., t_n-1 ist. 2009 wurde eine modale Version der dependence Logik (MDL) von Abramsky und Väänänen erstmals vorgestellt.In dieser Arbeit betrachten wir sowohl modale als sich die prädikatenlogische Variante.In Kapitel 3 stellen wir die Erweiterungen der dependence Logik um die Quantoren M und ein Paritätsquantor.Der Quantor M ist erfüllt, wenn mindestens die Hälfte aller Belegungen für die quantifizierte Variable wahr ist. Der Paritätsquantor wird wahr, wenn eine gerade Anzahl von Belegungen der quantifizierten Variablen wahr ist. In Kapitel 3 zeigen wir, dass dependence Logik erweitert um M mit der Hierarchie der Zählklassen PP (CH) übereinstimmt und dependence Logik erweitert um den Paritätsquantor mit der Komplexitätsklasse parityP.Kapitel 4 beschäftigt sich mit erweiterter modalen dependence Logik (EMDL), welche auf der von Sevenster und Väänänen vorgestellten modalen dependence Logik beruht. Hierbei wird das dependence Atom =(p_1,., p_n), welches in MDL nur auf atomare Propositionen p_1,.,p_n angewendet wird, durch ein neues dependence Atom ersetzt, welches auch modalligische Formeln beinhalten kann. Wir zeigen, dass die Komplexität des Modellprüfungsproblems sowie die Komplexität des Erfüllbarkeitsproblems nicht schwieriger sind, als die korrespondierenden Probleme auf der Logik MDL. Außerdem zeigen wir, dass es EMDL Formeln gibt, die nicht durch MDL Formeln abgebildet werden können.In Kapitel 5 wird wieder eine Variante der prädikatenlogischen dependence Logik vorgestellt. Diese Boole'scher dependence Logik BD wird mit sogenannten partially ordered connectives verglichen, welche von Henkin vorgestellt wurden. Dabei wird gezeigt, dass die Logiken sowie ihre Fragmente äquivalent sind. Des Weiteren wird gezeigt, dass Boole'sche dependence Logik eine strikte Trennung zu ihren Logikfragmenten aufweist. Das heißt, dass es Formeln in einem Fragment der Logik gibt, die sich nicht in einem kleineren Fragment der Logik darstellen lassen.Cuvillier Verlag, Nonnenstieg 8, 37075 Göttingen 114 pp. Englisch. Codice articolo 9783954046294
Compra nuovo
EUR 18,81
Spedizione EUR 60,00
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 1 disponibili
Immagini fornite dal venditore
Complexity and Expressivity of Dependence Logic Extensions
Print on DemandDa: AHA-BUCH GmbH, Einbeck, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - Dependence Logic (D) wurde 2007 von Jouko Väänänen erstmals vorgestellt. Hierbei handelte es sich um eine Logik, welche die Prädikatenlogik der ersten Stufe um das sogenannte dependence Atom (in Zeichen =(t_1,.,t_n)) erweitert. Es ist erfüllt, wenn die funktionale Abhängigkeit des Terms t_n von den Termen t_1,., t_n-1 gegeben ist, d.h. wenn t_n eine Funktion von t_1,., t_n-1 ist. 2009 wurde eine modale Version der dependence Logik (MDL) von Abramsky und Väänänen erstmals vorgestellt.In dieser Arbeit betrachten wir sowohl modale als sich die prädikatenlogische Variante.In Kapitel 3 stellen wir die Erweiterungen der dependence Logik um die Quantoren M und ein Paritätsquantor.Der Quantor M ist erfüllt, wenn mindestens die Hälfte aller Belegungen für die quantifizierte Variable wahr ist. Der Paritätsquantor wird wahr, wenn eine gerade Anzahl von Belegungen der quantifizierten Variablen wahr ist. In Kapitel 3 zeigen wir, dass dependence Logik erweitert um M mit der Hierarchie der Zählklassen PP (CH) übereinstimmt und dependence Logik erweitert um den Paritätsquantor mit der Komplexitätsklasse parityP.Kapitel 4 beschäftigt sich mit erweiterter modalen dependence Logik (EMDL), welche auf der von Sevenster und Väänänen vorgestellten modalen dependence Logik beruht. Hierbei wird das dependence Atom =(p_1,., p_n), welches in MDL nur auf atomare Propositionen p_1,.,p_n angewendet wird, durch ein neues dependence Atom ersetzt, welches auch modalligische Formeln beinhalten kann. Wir zeigen, dass die Komplexität des Modellprüfungsproblems sowie die Komplexität des Erfüllbarkeitsproblems nicht schwieriger sind, als die korrespondierenden Probleme auf der Logik MDL. Außerdem zeigen wir, dass es EMDL Formeln gibt, die nicht durch MDL Formeln abgebildet werden können.In Kapitel 5 wird wieder eine Variante der prädikatenlogischen dependence Logik vorgestellt. Diese Boole'scher dependence Logik BD wird mit sogenannten partially ordered connectives verglichen, welche von Henkin vorgestellt wurden. Dabei wird gezeigt, dass die Logiken sowie ihre Fragmente äquivalent sind. Des Weiteren wird gezeigt, dass Boole'sche dependence Logik eine strikte Trennung zu ihren Logikfragmenten aufweist. Das heißt, dass es Formeln in einem Fragment der Logik gibt, die sich nicht in einem kleineren Fragment der Logik darstellen lassen. Codice articolo 9783954046294
Compra nuovo
EUR 18,81
Spedizione EUR 60,80
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 1 disponibili
Immagini fornite dal venditore
Complexity and Expressivity of Dependence Logic Extensions
Print on DemandDa: preigu, Osnabrück, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. Complexity and Expressivity of Dependence Logic Extensions | Johannes Ebbing | Taschenbuch | 114 S. | Englisch | 2014 | Cuvillier | EAN 9783954046294 | Verantwortliche Person für die EU: Cuvillier Verlag, Nonnenstieg 8, 37075 Göttingen, info[at]cuvillier[dot]de | Anbieter: preigu Print on Demand. Codice articolo 109017820
Compra nuovo
EUR 17,50
Spedizione EUR 70,00
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 5 disponibili