Add to ORKGABSTRACT The paper introduces and studies the ternary relation "secret a reveals at least as much information about secret c as secret b ." In spite of its seeming simplicity, this relation has many non-trivial properties. The main result is a complete infinite axiomatization of the propositional theory of this relation
The theory of relational parametricity and its logical relations proof technique are powerful tools ...
Here is a familiar history: modal logics (see [15]) were around for some time before a semantic fram...
Content replaced at author's request on 2014-02-12.Only recently have approaches to quantitative inf...
In this paper, we generalize the notion of traces of a binary relation to the setting of ternary rel...
In this paper, we study the problem of closing or opening a ternary relation with respect to various...
Modus ponens provides the central theme. There are laws, of the form A→C. A logic (or other theory) ...
One of the most dominant approaches to semantics for relevant (and many paraconsistent) logics is th...
Relational semantics is one of the most popular forms of semantics for relevance logic. However, thi...
AbstractSecret-sharing is an important topic of cryptography and has applications in information sec...
In this paper, we introduce six basic types of composition of ternary relations, four of which are a...
Modus ponens provides the central theme. There are laws, of the form A → C. A logic (or other theory...
Contrastivism is the claim that the knowledge relation is ternary, it relates three relata: a subjec...
The theory of relational parametricity and its logical relations proof technique are powerful tools ...
AbstractModus ponens provides the central theme. There are laws, of the form A→C. A logic (or other ...
Secret sharing is a cryptographic discipline in which the goal is to distribute information about a ...
The theory of relational parametricity and its logical relations proof technique are powerful tools ...
Here is a familiar history: modal logics (see [15]) were around for some time before a semantic fram...
Content replaced at author's request on 2014-02-12.Only recently have approaches to quantitative inf...
In this paper, we generalize the notion of traces of a binary relation to the setting of ternary rel...
In this paper, we study the problem of closing or opening a ternary relation with respect to various...
Modus ponens provides the central theme. There are laws, of the form A→C. A logic (or other theory) ...
One of the most dominant approaches to semantics for relevant (and many paraconsistent) logics is th...
Relational semantics is one of the most popular forms of semantics for relevance logic. However, thi...
AbstractSecret-sharing is an important topic of cryptography and has applications in information sec...
In this paper, we introduce six basic types of composition of ternary relations, four of which are a...
Modus ponens provides the central theme. There are laws, of the form A → C. A logic (or other theory...
Contrastivism is the claim that the knowledge relation is ternary, it relates three relata: a subjec...
The theory of relational parametricity and its logical relations proof technique are powerful tools ...
AbstractModus ponens provides the central theme. There are laws, of the form A→C. A logic (or other ...
Secret sharing is a cryptographic discipline in which the goal is to distribute information about a ...
The theory of relational parametricity and its logical relations proof technique are powerful tools ...
Here is a familiar history: modal logics (see [15]) were around for some time before a semantic fram...
Content replaced at author's request on 2014-02-12.Only recently have approaches to quantitative inf...