default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDStudia Logica, Volume 69
Volume 69, Number 1, October 2001
- Roy Dyckhoff, Heinrich Wansing
:
Editorial. 3-4 - Franz Baader, Ulrike Sattler:
An Overview of Tableau Algorithms for Description Logics. 5-40 - Linh Anh Nguyen:
Analytic Tableau Systems and Interpolation for the Modal Logics KB, KDB, K5, KD5. 41-57 - Bernhard Beckert, Rajeev Goré:
Free-Variable Tableaux for Propositional Modal Logics. 59-96 - Marta Cialdea Mayer, Serenella Cerrito:
Ground and Free-Variable Tableaux for Variants of Quantified Modal Logics. 97-131 - Melvin Fitting, Lars Thalmann, Andrei Voronkov:
Term-Modal Logics. 133-169 - Riccardo Rosati:
A Sound and Complete Tableau Calculus for Reasoning about only Knowing and Knowing at Most. 171-191
Volume 69, Number 2, November 2001
- Roy Dyckhoff, Heinrich Wansing:
Editorial. 195-196 - Arnon Avron, Beata Konikowska:
Decomposition Proof Systems for Gödel-Dummett Logics. 197-219 - Diderik Batens, Joke Meheus:
Shortcuts and Dynamic Marking in the Tableau Method for Adaptive Logics. 221-248 - Uwe Egly:
On Different Intuitionistic Calculi and Embeddings from Int to S4. 249-277 - Raymond D. Gumb:
An Extended Joint Consistency Theorem for a Nonconstructive Logic of Partial Terms with Definite Descriptions. 279-292 - Christoph Kreitz, Brigitte Pientka:
Connection-Driven Inductive Theorem Proving. 293-326
Volume 69, Number 3, December 2001
- Teresa Almada, Júlia Vaz de Carvalho:
A Generalization of the Lukasiewicz Algebras. 329-338 - Stephen H. Hechler:
On Consistent Subsets of Large Sets of Satisfiable Sentences. 339-349 - Max A. Freund:
A Temporal Logic for Sortals. 351-380 - Ivo Düntsch, Gunther Schmidt, Michael Winter:
A Necessary Relation Algebra for Mereotopology. 381-409 - Fabrice Correia:
Priorean Strict Implication, Q and Related Systems. 411-427
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 2025-12-05 22:25 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:
