1588 search results - page 71 / 318 » On the Logic of Constitutive Rules |
245
click to vote
LORI
2009
Springer
16 years 22 days ago
2009
Springer
Building on a simple modal logic of context, the paper presents a dynamic logic characterizing operations of contraction and expansion on theories. We investigate the mathematical...
152
click to vote
LICS
1995
IEEE
15 years 9 months ago
1995
IEEE
The decision problem is studied for fragments of second-order linear logic without modalities. It is shown that the structural rules of contraction and weakening may be simulated ...
146
click to vote
IJCAI
1989
15 years 7 months ago
1989
Nilsson's Probabilistic Logic is a set theoretic mechanism for reasoning with uncertainty. We propose a new way of looking at the probability constraints enforced by the fram...
140
click to vote
COORDINATION
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We present a model for choreography `a la WS-CDL and formalize it in DSTL(x), a spatio
157
click to vote
EUSFLAT
2003
15 years 7 months ago
2003
Let C be the propositional calculus given by a standard SBL-algebra; C is obtained from C by adding an involutive negation, with axioms and deduction rules as in [4]. Then C i...