About: Dependence logic

Facets (new session)
Description
Metadata
Settings
- Rule:
- Inverse Functional Properties:
- "Same As":

About: Dependence logic Goto Sponge NotDistinct Permalink

An Entity of Type : yago:WikicatSystemsOfFormalLogic, within Data Space : dbpedia.org associated with source document(s)
QRcode icon

http://dbpedia.org/describe/?url=http%3A%2F%2Fdbpedia.org%2Fresource%2FDependence_logic

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 .

Attributes	Values
rdf:type	yago:Ability105616246 yago:Abstraction100002137 yago:Cognition100023271 yago:Know-how105616786 yago:Logic105664069 yago:Method105660268 yago:PsychologicalFeature100023100 yago:System105661996 yago:WikicatSystemsOfFormalLogic
rdfs:label	Dependence logic (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)
dcterms:subject	Systems of formal logic
Wikipage page ID	31107554 (xsd:integer)
Wikipage revision ID	1070802376 (xsd:integer)
Link from a Wikipage to another Wikipage	Samson Abramsky Modal logic Negation normal form Universal quantification De Morgan's Laws Jouko Väänänen Intuitionistic logic Craig interpolation Lowenheim-skolem theorem Free variables and bound variables Branching quantifier Conservative extension Arithmetical hierarchy Structural induction Compactness theorem Functional dependency Structure (mathematical logic) Wilfrid Hodges Game semantics Gödel numbering Lecture Notes in Computer Science Alfred Tarski Systems of formal logic Relation (database) Herbert Enderton Jaakko Hintikka Independence-friendly logic Semidecidability Signature (logic) Fagin's theorem Existential quantification Tarski's undefinability theorem Levy hierarchy First Order Logic First order logic Peano's axioms Law of the excluded middle Extensive form game dbr:Logics_of_imperfect_information
Link from a Wikipage to an external page	http://www.math.helsinki.fi/logic/people/jouko.vaananen/modaldependencelogic.pdf http://www.ml.kva.se/preprints/files/IML-0910f-22.pdf http://www.cambridge.org/gb/knowledge/isbn/item1158300/%3Fsite_locale=en_GB https://www.cambridge.org/core/journals/journal-of-symbolic-logic/article/finite-partiallyordered-quantification/115E0CF95F881AF1B95A9D72DE54D6FF https://www.knaw.nl/en/news/calendar/dependence-logic%3Fset_language=en http://drops.dagstuhl.de/opus/volltexte/2011/3346/pdf/28.pdf http://drops.dagstuhl.de/opus/volltexte/2013/4203/pdf/23.pdf http://www.math.helsinki.fi/logic/people/jouko.vaananen/Graedel_Vaananen_final.pdf https://arxiv.org/abs/1103.0396 https://doi.org/10.1007%2F978-3-642-02261-6 https://ieeexplore.ieee.org/abstract/document/8133055/ https://link.springer.com/journal/11225/101/2/page/1 https://web.archive.org/web/20150822235254/http:/www.cambridge.org/uk/catalogue/catalogue.asp%3Fisbn=9780521876599 https://www.academia.edu/18703455/Hierarchies_in_Dependence_Logic https://www.sciencedirect.com/science/article/pii/S0168007211001217/pdf%3Fmd5=13f28c1160e72f36688687744f6dc76d&pid=1-s2.0-S0168007211001217-main.pdf&_valck=1 http://citeseerx.ist.psu.edu/viewdoc/download%3Fdoi=10.1.1.37.5740&rep=rep1&type=ps
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)
sameAs	Dependence logic Dependence logic Dependence logic Dependence logic
dbp:wikiPageUsesTemplate	dbt:Mvar dbt:Refbegin dbt:Refend dbt:Reflist dbt:Sic dbt:Wikicite dbt:Cite_SEP dbt:Isbn

Faceted Search & Find service v1.17_git139 as of Feb 29 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 08.03.3330 as of Mar 19 2024, on Linux (x86_64-generic-linux-glibc212), Single-Server Edition (61 GB total memory, 49 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software