Sciweavers

IGPL
2000
67views more  IGPL 2000»
13 years 10 months ago
Information Transfer across Chu Spaces
Johan van Benthem
IGPL
2000
129views more  IGPL 2000»
13 years 10 months ago
Embeddings of Propositional Monomodal Logics
The aim of this paper is to investigate the expressibility of classical propositional monomodal logics. To this end, a notion of embedding of one logic into another is introduced,...
Evgeni E. Zolin
IGPL
2000
48views more  IGPL 2000»
13 years 10 months ago
Normal Gentzen Deductions in the Classical Case
Alessandra Palmigiano
IGPL
2000
152views more  IGPL 2000»
13 years 10 months ago
An Analysis of Empirical Testing for Modal Decision Procedures
Recent years have seen the emergence of a new generation of heavily-optimised modal decision procedures. Several systems based on such procedures are now available and have proved...
Ian Horrocks, Peter F. Patel-Schneider, Roberto Se...
IGPL
2000
99views more  IGPL 2000»
13 years 10 months ago
Linear Explicit Substitutions
Abstract Neil Ghani Valeria de Paiva Eike Ritter The -calculus 1 adds explicit substitutions to the -calculus so as to provide a theoretical framework within which the implement...
Neil Ghani, Valeria de Paiva, Eike Ritter
IGPL
2000
87views more  IGPL 2000»
13 years 10 months ago
Analytic Cut Trees
Carlo Cellucci
IGPL
2000
82views more  IGPL 2000»
13 years 10 months ago
Concurrent Systems Analysis Using ECATNets
Faiza Belala, Mohamed Bettaz, Laure Petrucci-Dauch...
IGPL
2000
100views more  IGPL 2000»
13 years 10 months ago
Irrevocable Belief Revision and Epistemic Entrenchment
In recent papers [10, 11] Krister Segerberg introduced Irrevocable Belief Revision, as closely related to AGM revision [2]. In this paper we present irrevocable belief revision in...
Eduardo L. Fermé
IGPL
2000
103views more  IGPL 2000»
13 years 10 months ago
General Patterns for Nonmonotonic Reasoning: From Basic Entailments to Plausible Relations
This paper has two goals. First, we develop frameworks for logical systems which are able to re ect not only nonmonotonic patterns of reasoning, but also paraconsistent reasoning....
Ofer Arieli, Arnon Avron