dbo:wikiPageExternalLink
dbo:wikiPageWikiLink
dbp:reference
- Väänänen, Jouko , 'Dependence Logic -- A New Approach to Independence Friendly Logic', . (en)
- Lohmann, Peter and Vollmer, Heribert , 'Complexity Results for Modal Dependence Logic'. In Lecture Notes in Computer Science, pp. 411–425. (en)
- Durand, Arnaud and Kontinen, Juha, 'Hierarchies in Dependence Logic'. ACM Transactions on Computational Logic, 2012. (en)
- Kontinen, Juha and Väänänen, Jouko , 'On definability in dependence logic'. Journal of Logic, Language and Information 18: 317–332. (en)
- Galliani, Pietro , 'Inclusion and Exclusion in Team Semantics - On some logics of imperfect information'. Annals of Pure and Applied Logic 163: 68-84. (en)
- Abramsky, Samson and Väänänen, Jouko , 'From IF to BI'. Synthese 167: 207–230. (en)
- Durand, Arnaud; Ebbing Johannes; Kontinen, Juha and Vollmer Heribert , 'Dependence logic with a majority quantifier'. FSTTCS 2011: 252-263. (en)
- Kontinen, Juha and Väänänen, Jouko , 'A Remark on Negation of Dependence Logic'. Notre Dame Journal of Formal Logic, 52:55-65, 2011. (en)
- Kontinen, Juha and Nurmi, Ville , 'Team Logic and Second-Order Logic'. In Logic, Language, Information and Computation, pp. 230–241. (en)
- 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. (en)
- Väänänen, Jouko , 'Modal dependence logic'. New Perspectives in Logic and Interaction, pp. 237–254. (en)
- Hintikka, Jaakko , 'The Principles of Mathematics Revisited', . (en)
- Hodges, Wilfrid , 'Compositional semantics for a language of imperfect information'. Journal of the IGPL 5: 539–563. (en)
- Enderton, Herbert B. , 'Finite ordered quantifiers'. Z. Math. Logik Grundlagen Math., 16: 393–397. (en)
- Sevenster, Merlijn , 'Model-theoretic and Computational Properties of Modal Dependence Logic'. Journal of Logic and Computation 19: 1157–1173. (en)
- Yang, Fan , 'Expressing Second-order Sentences in Intuitionistic Dependence Logic'. Dependence and Independence in Logic proceedings, pp. 118–132. (en)
- Walkoe, Wilbur J. , 'Finite ordered quantification'. Journal of Symbolic Logic, 35: 535–575. (en)
- Engström, Fredrik, 'Generalized quantifiers in dependence logic'. Journal of Logic, Language and Information, to appear. (en)
- Grädel, Erich and Väänänen, Jouko, 'Dependence and independence'. Studia Logica, to appear. (en)
rdfs: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 . (en)
owl:sameAs