Verwandte Artikel zu Complexity and Expressivity of Dependence Logic Extensions
Inhaltsangabe
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.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Suchergebnisse für Complexity and Expressivity of Dependence Logic Extensions
Foto des Verkäufers
Complexity and Expressivity of Dependence Logic Extensions
Print-on-DemandAnbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: 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. Bestandsnummer des Verkäufers 9783954046294
Neu kaufen
EUR 18,81
EUR 23,00 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 2 verfügbar
Foto des Verkäufers
Complexity and Expressivity of Dependence Logic Extensions
Anbieter: moluna, Greven, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers 148487454
Neu kaufen
EUR 18,81
EUR 48,99 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Complexity and Expressivity of Dependence Logic Extensions
Verlag:
Cuvillier, Cuvillier Feb 2014, 2014
ISBN 10: 3954046296
ISBN 13: 9783954046294
Neu
Taschenbuch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: 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. Bestandsnummer des Verkäufers 9783954046294
Neu kaufen
EUR 18,81
EUR 60,00 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 1 verfügbar
Foto des Verkäufers
Complexity and Expressivity of Dependence Logic Extensions
Print-on-DemandAnbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: 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. Bestandsnummer des Verkäufers 9783954046294
Neu kaufen
EUR 18,81
EUR 60,80 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 1 verfügbar
Foto des Verkäufers
Complexity and Expressivity of Dependence Logic Extensions
Print-on-DemandAnbieter: preigu, Osnabrück, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: 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. Bestandsnummer des Verkäufers 109017820
Neu kaufen
EUR 17,50
EUR 70,00 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 5 verfügbar