2007•CERN Document Server (European Organization for Nuclear Research)Requires access

Dependence Logic: A New Approach to Independence Friendly Logic

Jouko Väänánen

Open publisher page 187 citations

Abstract

A systematic logical study of dependence also providing a precise treatment of independence friendly logic.

About this research paper

What this paper is about

A systematic logical study of dependence also providing a precise treatment of independence friendly logic.

Why it matters

OpenAlex reports 187 citations for this work. Citation counts describe recorded attention and do not establish research quality.

Key contribution

A contribution statement is not available in the OpenAlex record.

Method / approach

Method details are not available in the OpenAlex metadata.

Main findings

Findings are not separately available in the OpenAlex metadata.

Limitations

Limitations are not available in the OpenAlex metadata.

Applications

Application details are not available in the OpenAlex metadata.

Available abstract

A systematic logical study of dependence also providing a precise treatment of independence friendly logic.

Key concepts: Computational logic, Philosophy of logic, Autoepistemic logic, Higher-order logic, Dynamic logic (digital electronics), Multimodal logic, Many-valued logic, Computer science

Back to paper search Browse research topics Original source

Dependence Logic: A New Approach to Independence Friendly Logic — Research Paper | ScholarLens

Dependence Logic: A New Approach to Independence Friendly Logic

About this research paper

What this paper is about

Why it matters

Key contribution

Method / approach

Main findings

Limitations

Applications

Available abstract

Related papers