3385 search results - page 57 / 677 » Language, Logic, and the Brain |
178
click to vote
ATAL
2007
Springer
16 years 15 days ago
2007
Springer
Abstract. We introduce Multimodal Logics of Normative Systems as a contribution to the development of a general logical framework for reasoning about normative systems over logics ...
158
click to vote
ICTAC
2005
Springer
15 years 11 months ago
2005
Springer
Rewriting logic is a simple computational logic very well suited as a semantic framework within which many different models of computation, systems and languages can be naturally ...
193
click to vote
APLAS
2007
ACM
15 years 10 months ago
2007
ACM
We present a resource oriented program logic that is able to reason about concurrent heap-manipulating programs with unbounded numbers of dynamically-allocated locks and threads. T...
152
click to vote
IFIP
1994
Springer
15 years 10 months ago
1994
Springer
The paper surveys the work which has been done from 1986-1994 on speci cations of logic programming systems by evolving algebras. 1
154
click to vote
APLAS
2007
ACM
15 years 10 months ago
2007
ACM
Abstract. This paper provides a call-by-name and a call-by-value calculus, both of which have a Curry-Howard correspondence to the minimal normal logic K. The calculi are extension...