381 search results - page 24 / 77 » Two-Variable Logic with Two Order Relations - (Extended Abst... |
117
click to vote
JANCL
2007
15 years 1 months ago
2007
ABSTRACT. We show how belief revision can be treated systematically in the format of dynamicepistemic logic, when operators of conditional belief are added. The core engine consist...
122
click to vote
TLCA
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. We present a theory of proof denotations in classical propologic. The abstract definition is in terms of a semiring of weights, and two concrete instances are explored. ...
110
click to vote
JUCS
2007
15 years 1 months ago
2007
: Since all the algebras connected to logic have, more or less explicitely, an associated order relation, it follows that they have two presentations, dual to each other. We classi...
102
click to vote
JUCS
2008
15 years 1 months ago
2008
: Since all the algebras connected to logic have, more or less explicitely, an associated order relation, it follows that they have two presentations, dual to each other. We classi...
105
click to vote
ASIAN
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. This paper is concerned about relating formal and computational models of cryptography in case of active adversaries when formal security analysis is done with first ord...