3385 search results - page 321 / 677 » Language, Logic, and the Brain |
156
click to vote
ENTCS
2006
15 years 6 months ago
2006
We present a bunched intermediate language for strong (type-changing) update and disposal of first-order references. In contrast to other substructural type systems, the additive ...
200
click to vote
SAC
2004
ACM
16 years 7 days ago
2004
ACM
Software applications often contain implicit knowledge in addition to functionality which is inherently object-oriented. Many approaches and systems exist that focus on separating...
168
click to vote
DEON
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. In this paper, we combine deontic logic with Alternatingtime Temporal Logic (ATL) into a framework that makes it possible to model and reason about obligations and abilit...
181
click to vote
LACL
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. In order to analyse the semantics of natural language sentences a translation into a partial type logic using lexical and logical combinators is presented. The sentences ...
179
click to vote
LOGCOM
2007
15 years 6 months ago
2007
Abstract. This article extends and improves work on tableau-based decision methods for hybrid logic by Bolander and Bra¨uner [5]. Their paper gives tableau-based decision procedur...