Data Portal @ linkeddatafragments.org

Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Dependence_logic> ?p ?o. }

• Dependence_logic abstract "Dependence logic is a logical formalism, created by Jouko Väänänen, which adds dependence atoms to the language of first-order logic. A dependence atom is an expression of the form , where are terms, and corresponds to the statement that the value of is functionally dependent on the values of . Dependence logic is a logic of imperfect information, like branching quantifier logic or independence-friendly logic: in other words, its game theoretic semantics can be obtained from that of first-order logic by restricting the availability of information to the players, thus allowing for non-linearly ordered patterns of dependence and independence between variables. However, dependence logic differs from these logics in that it separates the notions of dependence and independence from the notion of quantification.".
• Dependence_logic wikiPageExternalLink 1103.0396v4.pdf.
• Dependence_logic wikiPageExternalLink 28.pdf.
• Dependence_logic wikiPageExternalLink 23.pdf.
• Dependence_logic wikiPageExternalLink 1.
• Dependence_logic wikiPageExternalLink Durand_Kontinen.pdf.
• Dependence_logic wikiPageExternalLink ?site_locale=en_GB.
• Dependence_logic wikiPageExternalLink catalogue.asp?isbn=9780521876599.
• Dependence_logic wikiPageExternalLink Graedel_Vaananen_final.pdf.
• Dependence_logic wikiPageExternalLink modaldependencelogic.pdf.
• Dependence_logic wikiPageExternalLink IML-0910f-22.pdf.
• Dependence_logic wikiPageExternalLink 0302-9743.
• Dependence_logic wikiPageExternalLink 978-3-642-02260-9.
• Dependence_logic wikiPageExternalLink dependence-logic?set_language=en.
• Dependence_logic wikiPageID "31107554".
• Dependence_logic wikiPageRevisionID "599576252".
• Dependence_logic hasPhotoCollection Dependence_logic.
• Dependence_logic ref "refAbrVaan09".
• Dependence_logic ref "refDurEbb11".
• Dependence_logic ref "refDurKon12".
• Dependence_logic ref "refEnderton70".
• Dependence_logic ref "refEng12".
• Dependence_logic ref "refGal12".
• Dependence_logic ref "refGalHella13".
• Dependence_logic ref "refGrVaan12".
• Dependence_logic ref "refHintikka02".
• Dependence_logic ref "refHodges97".
• Dependence_logic ref "refKontNurmi09".
• Dependence_logic ref "refKontVaan09".
• Dependence_logic ref "refKontVaan09b".
• Dependence_logic ref "refLohmVoll10".
• Dependence_logic ref "refSevenster09".
• Dependence_logic ref "refVaananen07".
• Dependence_logic ref "refVaananen08".
• Dependence_logic ref "refWalkoe70".
• Dependence_logic ref "refYang10".
• Dependence_logic reference "Abramsky, Samson and Väänänen, Jouko , 'From IF to BI'. Synthese 167: 207–230.".
• Dependence_logic reference "Durand, Arnaud and Kontinen, Juha, 'Hierarchies in Dependence Logic'. ACM Transactions on Computational Logic, to appear.".
• Dependence_logic reference "Durand, Arnaud; Ebbing Johannes; Kontinen, Juha and Vollmer Heribert , 'Dependence logic with a majority quantifier'. FSTTCS 2011: 252-263.".
• Dependence_logic reference "Enderton, Herbert B. , 'Finite ordered quantifiers'. Z. Math. Logik Grundlagen Math., 16: 393–397.".
• Dependence_logic reference "Engström, Fredrik, 'Generalized quantifiers in dependence logic'. Journal of Logic, Language and Information, to appear.".
• Dependence_logic reference "Galliani, Pietro , 'Inclusion and Exclusion in Team Semantics - On some logics of imperfect information'. Annals of Pure and Applied Logic 163: 68-84.".
• Dependence_logic reference "Galliani, Pietro and Hella, Lauri , 'Inclusion Logic and Fixed Point Logic'. Proceedings of Computer Science Logic 2013 , Leibniz International Proceedings in Informatics 23, 281-295.".
• Dependence_logic reference "Grädel, Erich and Väänänen, Jouko, 'Dependence and independence'. Studia Logica, to appear.".
• Dependence_logic reference "Hintikka, Jaakko , 'The Principles of Mathematics Revisited', ISBN 978-0-521-62498-5.".
• Dependence_logic reference "Hodges, Wilfrid , 'Compositional semantics for a language of imperfect information'. Journal of the IGPL 5: 539–563.".
• Dependence_logic reference "Kontinen, Juha and Nurmi, Ville , 'Team Logic and Second-Order Logic'. In Logic, Language, Information and Computation, pp. 230–241.".
• Dependence_logic reference "Kontinen, Juha and Väänänen, Jouko , 'A Remark on Negation of Dependence Logic'. Notre Dame Journal of Formal Logic, 52:55-65, 2011.".
• Dependence_logic reference "Kontinen, Juha and Väänänen, Jouko , 'On definability in dependence logic'. Journal of Logic, Language and Information 18: 317–332.".
• Dependence_logic reference "Lohmann, Peter and Vollmer, Heribert , 'Complexity Results for Modal Dependence Logic'. In Lecture Notes in Computer Science, pp. 411–425.".
• Dependence_logic reference "Sevenster, Merlijn , 'Model-theoretic and Computational Properties of Modal Dependence Logic'. Journal of Logic and Computation 19: 1157–1173.".
• Dependence_logic reference "Väänänen, Jouko , 'Dependence Logic -- A New Approach to Independence Friendly Logic', ISBN 978-0-521-87659-9.".
• Dependence_logic reference "Väänänen, Jouko , 'Modal dependence logic'. New Perspectives in Logic and Interaction, pp. 237–254.".
• Dependence_logic reference "Walkoe, Wilbur J. , 'Finite ordered quantification. Journal of Symbolic Logic, 35: 535–575.".
• Dependence_logic reference "Yang, Fan , 'Expressing Second-order Sentences in Intuitionistic Dependence Logic'. Dependence and Independence in Logic proceedings, pp. 118–132.".
• Dependence_logic subject Category:Systems_of_formal_logic.
• Dependence_logic type Ability105616246.
• Dependence_logic type Abstraction100002137.
• Dependence_logic type Cognition100023271.
• Dependence_logic type Know-how105616786.
• Dependence_logic type Logic105664069.
• Dependence_logic type Method105660268.
• Dependence_logic type PsychologicalFeature100023100.
• Dependence_logic type System105661996.
• Dependence_logic type SystemsOfFormalLogic.
• Dependence_logic comment "Dependence logic is a logical formalism, created by Jouko Väänänen, which adds dependence atoms to the language of first-order logic. A dependence atom is an expression of the form , where are terms, and corresponds to the statement that the value of is functionally dependent on the values of .".
• Dependence_logic label "Dependence logic".
• Dependence_logic sameAs m.0gh6cdj.
• Dependence_logic sameAs Q5260614.
• Dependence_logic sameAs Q5260614.
• Dependence_logic sameAs Dependence_logic.
• Dependence_logic wasDerivedFrom Dependence_logic?oldid=599576252.
• Dependence_logic isPrimaryTopicOf Dependence_logic.