797 search results - page 22 / 160 » Logics with an existential modality |
106
Voted
ENTCS
2006
15 years 19 days ago
2006
We build a realizability model for linear logic using a name-passing process calculus. The construction is based on testing semantics for processes, drawing ideas from spatial and...
98
Voted
APAL
1999
15 years 9 days ago
1999
The present paper investigates the groups of automorphisms for some lattices of modal logics. The main results are the following. The lattice of normal extensions of S4.3, NExt S4....
104
click to vote
APLAS
2006
ACM
15 years 4 months ago
2006
ACM
We present a modal language for distributed computation which addresses the safety of mobile values as well as mobile code. The safety of mobile code is achieved with the modality...
119
Voted
KI
1992
Springer
15 years 4 months ago
1992
Springer
Abstract. The purpose of this note is to present and evaluate the options available to a researcher wishing to use logic for representation, reasoning and computation in his applic...
103
Voted
CORR
2008
Springer
15 years 21 days ago
2008
Springer
Modal logics are widely used in computer science. The complexity of modal satisfiability problems has been investigated since the 1970s, usually proving results on a case-by-case b...