292 search results - page 32 / 59 » First-order intensional logic |
100
click to vote
APAL
2004
15 years 1 months ago
2004
First-order modal logic is very much under current development, with many different semantics proposed. The use of rigid objects goes back to Saul Kripke. More recently several se...
131
Voted
LFCS
2007
Springer
15 years 8 months ago
2007
Springer
We introduce a natural deduction formulation for the Logic of Proofs, a refinement of modal logic S4 in which the assertion PA is replaced by [[s]]A whose intended reading is “s...
71
Voted
EUSFLAT
2003
15 years 3 months ago
2003
99
Voted
ICLP
1994
Springer
15 years 6 months ago
1994
Springer
Constructive negation has been proved to be a valid alternative to negation as failure, especially when negation is required to have, in a sense, an `active' role. In this pa...
101
click to vote
CORR
2011
Springer
14 years 5 months ago
2011
Springer
In this paper we considered the extension of the First-order Logic Bealer’s intensional abstraction operator. Contemporary use of the term ’intension’ derives from the tradit...