Stop the war!

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

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Journal of Applied Non-Classical Logics, Volume 3

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 > Journal of Applied Non-Classical Logics

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 3, Number 1, 1993

- view
  authority control:
- export record
  dblp key:
  - journals/jancl/LeachN93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jancl/LeachN93
Javier Leach, Susana Nieva:
Foundations of a theorem prover for functional and mathematical uses. 7-38
- view
  authority control:
- export record
  dblp key:
  - journals/jancl/Konikowska93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jancl/Konikowska93
Beata Konikowska:
Two over three: a two-valued logic for software specification and validation over a three-valued predicate calculus. 39-71
- view
  authority control:
- export record
  dblp key:
  - journals/jancl/SiegelS93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jancl/SiegelS93
Pierre Siegel, Camilla Schwind:
Modal logic based theory for non-monotonic reasoning. 73-92
- view
  authority control:
- export record
  dblp key:
  - journals/jancl/GabbayR93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jancl/GabbayR93
Dov M. Gabbay, Uwe Reyle:
Computation with run time skolemisation (N-Prolog part 3). 93-128

Volume 3, Number 2, 1993

- view
  authority control:
- export record
  dblp key:
  - journals/jancl/Orlowska93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jancl/Orlowska93
Ewa Orlowska:
Dynamic logic with program specifications and its relational proof system. 147-171
- view
  authority control:
- export record
  dblp key:
  - journals/jancl/FontM93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jancl/FontM93
Josep Maria Font, Massoud Moussavi:
Note on a six-valued extension of three-valued logic. 173-187
- view
  authority control:
- export record
  dblp key:
  - journals/jancl/KaluzhnyM93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jancl/KaluzhnyM93
Yuri Kaluzhny, Alexei Yu. Muravitsky:
A knowledge representation based on the Belnap's four-valued logic. 189-203
- view
  authority control:
- export record
  dblp key:
  - journals/jancl/Cialdea93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jancl/Cialdea93
Marta Cialdea:
Herbrand style proof procedures for modal logic. 205-223
- view
  authority control:
- export record
  dblp key:
  - journals/jancl/Fuhrmann93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jancl/Fuhrmann93
André Fuhrmann:
Observations on validity and conditionals in belief revision systems. 225-238

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.