Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Bulletin of the IGPL, Volume 1

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

> Home > Journals > Bulletin of the IGPL

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 1, Number 1, July 1993

- view
  authority control:
- export record
  dblp key:
  - journals/igpl/Gabbay93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/igpl/Gabbay93
Dov M. Gabbay:
Editorial. 1-2
- view
  authority control:
- export record
  dblp key:
  - journals/igpl/Veloso93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/igpl/Veloso93
Paulo A. S. Veloso:
A New, Simpler Proof of the Modularisation Theorem for Logical Specifications. 3-12
- view
  authority control:
- export record
  dblp key:
  - journals/igpl/Zakharyaschev93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/igpl/Zakharyaschev93
Michael Zakharyaschev:
A Sufficient Condition for the Finite Model Property of Modal Logics above K4. 13-21
- view
  authority control:
- export record
  dblp key:
  - journals/igpl/FreundL93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/igpl/FreundL93
Michael Freund, Daniel Lehmann:
Nonmonotonic inference operations. 23-68
- view
  authority control:
- export record
  dblp key:
  - journals/igpl/Ohlbach93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/igpl/Ohlbach93
Hans Jürgen Ohlbach:
Translation Methods for Non-Classical Logics: An Overview. 69-89
- view
  authority control:
- export record
  dblp key:
  - journals/igpl/KuruczNSS93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/igpl/KuruczNSS93
Á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
- view
  authority control:
- export record
  dblp key:
  - journals/igpl/MayerP93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/igpl/MayerP93
Marta Cialdea Mayer, Fiora Pirri:
First order abduction via tableau and sequent calculi. 99-117

a service of

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.