3515 search results - page 297 / 703 » On the semantics of Strategy Logic |
169
click to vote
ENTCS
2007
15 years 7 months ago
2007
We introduce a class of coalgebraic models and a family of modal logics that support the speci cation of spatial properties of distributed applications. The evaluation of a formul...
120
click to vote
SLOGICA
2008
15 years 7 months ago
2008
Psychologism in logic is the doctrine that the semantic content of logical terms is in some way a feature of human psychology. We consider the historically influential version of t...
268
click to vote
SAS
2010
Springer
15 years 6 months ago
2010
Springer
Recent innovations in automatic parallelizing compilers are showing impressive speedups on multicore processors using shared memory with asynchronous channels. We have formulated a...
154
click to vote
JAIR
2011
15 years 2 months ago
2011
We introduce a novel logical notion–partial entailment–to propositional logic. In contrast with classical entailment, that a formula P partially entails another formula Q with...
239
click to vote
MST
2011
15 years 2 months ago
2011
The theory of two-dimensional languages, generalizing formal string languages, was motivated by problems arising from image processing and models of parallel computing. Weighted au...