1. (100%) A proof—technique in uniform space theory - Bridges, Douglas; Vî??, Lumini?a
In the constructive theory of uniform spaces there occurs a technique of proof in which the applicat ...
(application/pdf) - 19-sep-2008

2. (100%) Valuation structure - Zhu, Zhaohui; Pan, Zhenghua; Chen, Shifu; Zhu, Wujia
This paper introduces valuation structures associated with preferential models. Based on KLM valuati ...
(application/pdf) - 19-sep-2008

3. (100%) Propositional dynamic logic for concurrent programs - Nishimura, Hirokazu
(application/pdf) - 19-sep-2008

4. (100%) A Variant of Thomason's First-Order Logic CF Based on Situations - Wang, Xuegang; Mott, Peter
In this paper, we define a first-order logic CF? with strong negation and bounded static quantifiers ...
(application/pdf) - 21-nov-2008

5. (100%) Peeking at the Impossible - Mortensen, Chris
The question of the interpretation of impossible pictures is taken up. Penrose's account is reviewed ...
(application/pdf) - 21-nov-2008

6. (100%) Propositional Logic of Supposition and Assertion - Kearns, John T.
This presentation of a system of propositional logic is a foundational paper for systems of illocuti ...
(application/pdf) - 21-nov-2008

7. (100%) An Intensional Schrödinger Logic - da Costa, Newton C. A.; Krause, Décio
We investigate the higher-order modal logic $S_{\omega}I$ , which is a variant of the system $S_{\om ...
(application/pdf) - 21-nov-2008

8. (100%) Minimal Temporal Epistemic Logic - Engelfriet, Joeri
In the study of nonmonotonic reasoning the main emphasis has been on static (declarative) aspects. O ...
(application/pdf) - 21-nov-2008

9. (100%) Worlds of Homogeneous Artifacts - Tzouvaras, Athanassios
We present a formal first-order theory of artificial objects, i.e., objects made out of a finite num ...
(application/pdf) - 21-nov-2008

10. (100%) Editor's Introduction - Fuhrmann, André
The process [by which any individual settles into new opinions] is always the same. The individual h ...
(application/pdf) - 21-nov-2008

Página de resultados:
1  2  3  4  5  Siguiente