default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDLogic Journal of the IGPL, Volume 10, 2002
Volume 10, Number 1, January 2002
- Marco Aiello:
A Spatial Similarity Measure based on Games: Theory and Practice. 1-22 - Gustavo Adrian Bodanza:
Disjunctions and Specificity in Suppositional Defeasible Argumentation. 23-49 - Luis Fariñas del Cerro, Olivier Gasquet:
A General Framework for Pattern-Driven Modal Tableaux. 51-83 - Jörg H. Siekmann, Graham Wrightson:
An Open Research Problem: Strong Completeness of R. Kowalski's Connection Graph Proof Procedure. 85-103
Volume 10, Number 2, March 2002
- Argimiro Arratia
:
On the Descriptive Complexity of a Simplified Game of Hex. 105-122 - Krysia Broda, Dov M. Gabbay, Luís C. Lamb, Alessandra Russo:
Labelled Natural Deduction for Conditional Logics of Normality. 123-163 - Marcelo Finger, M. Angela Weiss:
The Unrestricted Combination of Temporal Logic Systems. 165-189 - Ralf Naumann:
A Fibring Semantics for the Semantic-Morphological Interface in Natural Language. 191-226
Volume 10, Number 3, May 2002
- Silvio Ghilardi:
A Resolution/Tableaux Algorithm for Projective Approximations in IPC. 229-243 - Yves Moinard, Raymond Rolland:
Characterizations of Preferential Entailments. 245-272 - Rolf Nossum:
Propositional Logic for Ground Semigroups of Context. 273-297 - Neil Tennant:
Ultimate Normal Forms for Parallelized Natural Deductions. 299-337 - Jouko A. Väänänen:
On the semantics of informational independence. 339-352
Volume 10, Number 4, July 2002
- Martin W. Bunder:
Intersection types for lambda-terms and combinators and their logics. 357-378 - Maroua Bouzid, Peter B. Ladkin:
Simple Reasoning with Time-Dependent Propositions. 379-399 - Çigdem Gencer:
Description of Modal Logics Inheriting Admissible Rules for K4. 401-411 - Amílcar Sernadas, Cristina Sernadas, Alberto Zanardo:
Fibring Modal First-Order Logics: Completeness Preservation. 413-451 - Narciso Martí-Oliet:
Review of the paper 'Concurrent Systems Analysis Using ECATNets' by F. Belala. 453-455 - Heinrich Wansing:
Review of Modal Logic by P. Blackburn, M. de Rijke, and Y. Venema. 457-458
Volume 10, Number 5, September 2002
- Tijn Borghuis, Fairouz Kamareddine, Rob Nederpelt:
Formalizing Belief Revision in Type Theory. 461-500 - Daniel Damian, Olivier Danvy:
A Simple CPS Transformation of Control-Flow Information. 501-515 - Aleksey G. Kravtsov:
Polymodal Logics of Commuting Functions. 517-533 - Carsten Lutz:
PSpace Reasoning with the Description Logic ALCF(D). 535-568
Volume 10, Number 6, November 2002
- Claudio Castellini, Alan Smaill:
A Systematic Presentation of Quantified Modal Logics. 571-599 - Dov M. Gabbay, Odinaldo Rodrigues, John Woods:
Belief Contraction, Anti-formulae and Resource Overdraft: Part I Deletion in Resource bounded Logics. 601-652 - Norihiro Kamide:
Sequent Calculi for Intuitionistic Linear Logic with Strong Negation. 653-678 - Ruy J. G. B. de Queiroz, Luiz Carlos Pereira, Edward Hermann Haeusler:
9th Workshop on Logic, Language, Information and Computation. 679-688
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-02 21:30 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
