default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBulletin of the IGPL, Volume 1
Volume 1, Number 1, July 1993
- Dov M. Gabbay:
Editorial. 1-2 - Paulo A. S. Veloso:
A New, Simpler Proof of the Modularisation Theorem for Logical Specifications. 3-12 - Michael Zakharyaschev
:
A Sufficient Condition for the Finite Model Property of Modal Logics above K4. 13-21 - Michael Freund, Daniel Lehmann:
Nonmonotonic inference operations. 23-68 - Hans Jürgen Ohlbach:
Translation Methods for Non-Classical Logics: An Overview. 69-89 - Ágnes Kurucz, István Németi, Ildikó Sain, András Simon:
Undecidable Varieties of Semilattice - ordered Semigroups, of Boolean Algebras with Operators, and logics extending Lambek Calculus. 91-98 - Marta Cialdea Mayer, Fiora Pirri:
First order abduction via tableau and sequent calculi. 99-117
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-01-09 11:55 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:
