Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Dependence_logic> ?p ?o }
- 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 wikiPageLength "28659".
- Dependence_logic wikiPageOutDegree "40".
- Dependence_logic wikiPageRevisionID "599576252".
- Dependence_logic wikiPageWikiLink Alfred_Tarski.
- Dependence_logic wikiPageWikiLink Arithmetical_hierarchy.
- Dependence_logic wikiPageWikiLink Branching_quantifier.
- Dependence_logic wikiPageWikiLink Category:Systems_of_formal_logic.
- Dependence_logic wikiPageWikiLink Compactness_theorem.
- Dependence_logic wikiPageWikiLink Conservative_extension.
- Dependence_logic wikiPageWikiLink Craig_interpolation.
- Dependence_logic wikiPageWikiLink De_Morgans_laws.
- Dependence_logic wikiPageWikiLink Decidability_(logic).
- Dependence_logic wikiPageWikiLink Extensive-form_game.
- Dependence_logic wikiPageWikiLink Fagins_theorem.
- Dependence_logic wikiPageWikiLink First-order_logic.
- Dependence_logic wikiPageWikiLink Free_variables_and_bound_variables.
- Dependence_logic wikiPageWikiLink Functional_dependency.
- Dependence_logic wikiPageWikiLink Game_semantics.
- Dependence_logic wikiPageWikiLink Gödel_numbering.
- Dependence_logic wikiPageWikiLink Herbert_Enderton.
- Dependence_logic wikiPageWikiLink Independence-friendly_logic.
- Dependence_logic wikiPageWikiLink Intuitionistic_logic.
- Dependence_logic wikiPageWikiLink Jaakko_Hintikka.
- Dependence_logic wikiPageWikiLink Logics_of_imperfect_information.
- Dependence_logic wikiPageWikiLink Lévy_hierarchy.
- Dependence_logic wikiPageWikiLink Löwenheim–Skolem_theorem.
- Dependence_logic wikiPageWikiLink Modal_logic.
- Dependence_logic wikiPageWikiLink Peano_axioms.
- Dependence_logic wikiPageWikiLink Relation_(database).
- Dependence_logic wikiPageWikiLink Samson_Abramsky.
- Dependence_logic wikiPageWikiLink Signature_(logic).
- Dependence_logic wikiPageWikiLink Structural_induction.
- Dependence_logic wikiPageWikiLink Structure_(mathematical_logic).
- Dependence_logic wikiPageWikiLink Tarskis_undefinability_theorem.
- Dependence_logic wikiPageWikiLink Wilfrid_Hodges.
- Dependence_logic wikiPageWikiLinkText "Dependence Logic".
- Dependence_logic wikiPageWikiLinkText "Dependence logic".
- Dependence_logic wikiPageWikiLinkText "Dependence_logic#Team_logic".
- Dependence_logic wikiPageWikiLinkText "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 wikiPageUsesTemplate Template:Refbegin.
- Dependence_logic wikiPageUsesTemplate Template:Refend.
- Dependence_logic wikiPageUsesTemplate Template:Reflist.
- Dependence_logic wikiPageUsesTemplate Template:Sic.
- Dependence_logic wikiPageUsesTemplate Template:Wikicite.
- Dependence_logic subject Category:Systems_of_formal_logic.
- Dependence_logic label "Dependence logic".
- Dependence_logic sameAs Q5260614.
- Dependence_logic sameAs m.0gh6cdj.