Search dblp for Publications

• > Home > Search

@article{DBLP:journals/jancl/Cialdea93,
  author       = {Marta Cialdea},
  title        = {Herbrand style proof procedures for modal logic},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {3},
  number       = {2},
  pages        = {205--223},
  year         = {1993},
  url          = {https://doi.org/10.1080/11663081.1993.10510808},
  doi          = {10.1080/11663081.1993.10510808},
  timestamp    = {Sat, 25 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jancl/Cialdea93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jancl/FontM93,
  author       = {Josep Maria Font and
                  Massoud Moussavi},
  title        = {Note on a six-valued extension of three-valued logic},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {3},
  number       = {2},
  pages        = {173--187},
  year         = {1993},
  url          = {https://doi.org/10.1080/11663081.1993.10510806},
  doi          = {10.1080/11663081.1993.10510806},
  timestamp    = {Sat, 25 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jancl/FontM93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jancl/Fuhrmann93,
  author       = {Andr{\'{e}} Fuhrmann},
  title        = {Observations on validity and conditionals in belief revision systems},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {3},
  number       = {2},
  pages        = {225--238},
  year         = {1993},
  url          = {https://doi.org/10.1080/11663081.1993.10510809},
  doi          = {10.1080/11663081.1993.10510809},
  timestamp    = {Sat, 25 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jancl/Fuhrmann93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jancl/GabbayR93,
  author       = {Dov M. Gabbay and
                  Uwe Reyle},
  title        = {Computation with run time skolemisation (N-Prolog part 3)},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {3},
  number       = {1},
  pages        = {93--128},
  year         = {1993},
  url          = {https://doi.org/10.1080/11663081.1993.10510797},
  doi          = {10.1080/11663081.1993.10510797},
  timestamp    = {Sat, 25 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jancl/GabbayR93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jancl/KaluzhnyM93,
  author       = {Yuri Kaluzhny and
                  Alexei Yu. Muravitsky},
  title        = {A knowledge representation based on the Belnap's four-valued logic},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {3},
  number       = {2},
  pages        = {189--203},
  year         = {1993},
  url          = {https://doi.org/10.1080/11663081.1993.10510807},
  doi          = {10.1080/11663081.1993.10510807},
  timestamp    = {Sat, 25 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jancl/KaluzhnyM93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jancl/Konikowska93,
  author       = {Beata Konikowska},
  title        = {Two over three: a two-valued logic for software specification and
                  validation over a three-valued predicate calculus},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {3},
  number       = {1},
  pages        = {39--71},
  year         = {1993},
  url          = {https://doi.org/10.1080/11663081.1993.10510795},
  doi          = {10.1080/11663081.1993.10510795},
  timestamp    = {Sat, 25 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jancl/Konikowska93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jancl/LeachN93,
  author       = {Javier Leach and
                  Susana Nieva},
  title        = {Foundations of a theorem prover for functional and mathematical uses},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {3},
  number       = {1},
  pages        = {7--38},
  year         = {1993},
  url          = {https://doi.org/10.1080/11663081.1993.10510794},
  doi          = {10.1080/11663081.1993.10510794},
  timestamp    = {Sat, 25 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jancl/LeachN93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jancl/Orlowska93,
  author       = {Ewa Orlowska},
  title        = {Dynamic logic with program specifications and its relational proof
                  system},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {3},
  number       = {2},
  pages        = {147--171},
  year         = {1993},
  url          = {https://doi.org/10.1080/11663081.1993.10510805},
  doi          = {10.1080/11663081.1993.10510805},
  timestamp    = {Sat, 25 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jancl/Orlowska93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jancl/SiegelS93,
  author       = {Pierre Siegel and
                  Camilla Schwind},
  title        = {Modal logic based theory for non-monotonic reasoning},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {3},
  number       = {1},
  pages        = {73--92},
  year         = {1993},
  url          = {https://doi.org/10.1080/11663081.1993.10510796},
  doi          = {10.1080/11663081.1993.10510796},
  timestamp    = {Sat, 25 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jancl/SiegelS93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}