IGPL
2002
13 years 11 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 11 months ago
2002
The system of natural deduction that originated with Gentzen (1934
IGPL
2002
13 years 11 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 11 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...
IGPL
2002
13 years 11 months ago
2002