Sciweavers

IGPL
2002
77views more  IGPL 2002»
13 years 10 months ago
On the semantics of informational independence
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...
Jouko A. Väänänen
IGPL
2002
80views more  IGPL 2002»
13 years 10 months ago
Ultimate Normal Forms for Parallelized Natural Deductions
The system of natural deduction that originated with Gentzen (1934
Neil Tennant
IGPL
2002
85views more  IGPL 2002»
13 years 10 months ago
Fibring Modal First-Order Logics: Completeness Preservation
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...
Amílcar Sernadas, Cristina Sernadas, Albert...
IGPL
2002
91views more  IGPL 2002»
13 years 10 months ago
The Unrestricted Combination of Temporal Logic Systems
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...
Marcelo Finger, M. Angela Weiss