5 search results - page 1 / 1 » igpl 2002 |
IGPL
2002
13 years 4 months ago
2002
IGPL
2002
13 years 4 months ago
2002
The system of natural deduction that originated with Gentzen (1934
IGPL
2002
13 years 4 months ago
2002
The semantics of the independence friendly logic of Hintikka and Sandu is usually defined via a game of imperfect information. We give a definition in terms of a game of perfect i...
IGPL
2002
13 years 4 months ago
2002
Fibring is defined as a mechanism for combining logics with a firstorder base, at both the semantic and deductive levels. A completeness theorem is established for a wide class of...
IGPL
2002
13 years 4 months ago
2002
This paper generalises and complements the work on combining temporal logics started by Finger and Gabbay [11, 10]. We present proofs of transference of soundness, completeness an...