217 search results - page 1 / 44 » Display Calculi for Logics with Relative Accessibility Relat... |
JOLLI
2000
13 years 5 months ago
2000
COLING
1994
13 years 6 months ago
1994
We discuss some consequence relations in DRT useful to discourse semantics. We incorporate some consequence relations into DRT using sequent calculi. We also show some connections...
RELMICS
1998
Springer
13 years 9 months ago
1998
Springer
We present a class of polymodal logics for which the set of terms indexing the modal connectives can be hierarchized in two levels: the set of Boolean terms and the set of terms b...
CSL
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. Security properties are profitably expressed using notions of contextual equivalence, and logical relations are a powerful proof technique to establish contextual equiva...
CORR
2010
Springer
13 years 3 months ago
2010
Springer
