default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal of Applied Logic, Volume 8
Volume 8, Number 1, March 2010
- Douglas Walton:
Formalization of the ad hominem argumentation scheme. 1-21 - A. Kordi, Ahmad Moussavi, A. Ahmadi:
Algorithms and computations for (m, n)-fold p-ideals in BCI-algebras. 22-32 - Norihiro Kamide, Heinrich Wansing
:
Combining linear-time temporal logic with constructiveness and paraconsistency. 33-61 - Thomas Ågotnes, Philippe Balbiani, Hans van Ditmarsch, Pablo Seban:
Group announcement logic. 62-81 - José Luis Carballido, Mauricio Osorio, José Arrazola:
Equivalence for the G'3-stable models semantics. 82-96 - Audun Stolpe:
A theory of permission based on the notion of derogation. 97-113 - Willard L. Miranker, Gregg J. Zuckerman:
Dynamics of mental activity. 114-140 - Jasper Berendsen, David N. Jansen, Julien Schmaltz, Frits W. Vaandrager:
The axiomatization of override and update. 141-150
Volume 8, Number 2, June 2010
- Andrea Calì, Laks V. S. Lakshmanan, Davide Martinenghi:
Selected papers from the Logic in Databases Workshop 2008. 151-152 - Balder ten Cate, Tadeusz Litak, Maarten Marx:
Complete axiomatizations for XPath fragments. 153-172 - Floris Geerts, Antonella Poggi:
On database query languages for K-relations. 173-185 - Héctor Pérez-Urbina, Boris Motik, Ian Horrocks:
Tractable query answering and rewriting under description logic constraints. 186-209 - Leonid Libkin, Cristina Sirangelo:
Reasoning about XML with temporal logics and automata. 210-232
Volume 8, Number 3, September 2010
- Stéphane Demri, Denis Lugiez:
Complexity of modal logics with Presburger constraints. 233-252 - Arsham Borumand Saeid, Afsaneh Ahadpanah, Lida Torkzadeh:
Smarandache BL-algebra. 253-261 - Krzysztof Prazmowski, Mariusz Zynel:
Possible primitive notions for geometry of spine spaces. 262-276 - J. L. Speranza, Laurence R. Horn:
A brief history of negation. 277-301
Volume 8, Number 4, December 2010
- Carlos Areces, Patrick Blackburn:
Special Issue on Hybrid Logics. 303-304 - Carlos Areces, Daniel Gorín:
Coinductive models and normal forms for modal logics (or how we learned to stop worrying and love coinduction). 305-318 - Willem Conradie, Valentin Goranko, Dimiter Vakarelov:
Algorithmic correspondence and completeness in modal logic. V. Recursive extensions of SQEMA. 319-333 - Jocelyne Faddoul, Volker Haarslev:
Algebraic tableau reasoning for the description logic SHOQ. 334-355 - Melvin Fitting:
Justification logics and hybrid logics. 356-370 - Didier Galmiche, Yakoub Salhi:
A family of Gödel hybrid logics. 371-385 - Ian M. Hodkinson, Louis Paternault:
Axiomatizing hybrid logic using modal logic. 386-396 - Guillaume Hoffmann:
Lightweight hybrid tableaux. 397-408 - Arne Meier, Martin Mundhenk, Thomas Schneider, Michael Thomas, Volker Weber, Felix Weiss:
The complexity of satisfiability for fragments of hybrid logic - Part I. 409-421 - Martin Mundhenk, Thomas Schneider, Thomas Schwentick, Volker Weber:
Complexity of hybrid logics over transitive frames. 422-440 - Robert S. R. Myers, Dirk Pattinson:
Hybrid logic with the difference modality for generalisations of graphs. 441-458 - Katsuhiko Sano:
Axiomatizing hybrid products: How can we reason many-dimensionally in hybrid logic? 459-474
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-02-21 19:35 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:
