3773 search results - page 170 / 755 » Logical Reasoning |
106
click to vote
CADE
2005
Springer
16 years 4 months ago
2005
Springer
Abstract. We describe methods for automated theorem proving in extensional type theory with primitive equality. We discuss a complete, cut-free sequent calculus as well as a compac...
133
click to vote
LICS
1999
IEEE
15 years 8 months ago
1999
IEEE
A new concurrent form of game semantics is introduced. This overcomes the problems which had arisen with previous, sequential forms of game semantics in modelling Linear Logic. It...
118
click to vote
DEON
2008
Springer
15 years 5 months ago
2008
Springer
The paper proposes a formal analysis of the ascriptive view of norms as resulting from pulling together Anderson's reductionist approach, the analysis of counts-as, and a nove...
154
Voted
FMCO
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Separation logic is a program logic for reasoning about programs that manipulate pointer data structures. We describe Smallfoot, a tool for checking certain lightweight s...
128
click to vote
DALT
2007
Springer
15 years 7 months ago
2007
Springer
Some issues concerning beliefs of agents are discussed. These issues are the general syntactic form of beliefs, the logic underlying beliefs, acquiring beliefs, and reasoning with ...