Dependence logic
id:
dependence-logic-273-13789398
title:
Dependence logic
text:
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 t 1 … t n are terms, and corresponds to the statement that the value of t n is functionally dependent on the values of t 1 , … , t n − 1 . 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
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/Dependence_logic
date created:
date modified:
2024-02-28T13:41:08Z
main entity:
{"identifier":"Q5260614","url":"https://www.wikidata.org/entity/Q5260614"}
image:
fields total:
13
integrity:
13