Search dblp for Publications

• > Home > Search

@article{DBLP:journals/sLogica/AltenR99,
  author       = {Clint J. van Alten and
                  James G. Raftery},
  title        = {The Finite Model Property for the Implicational Fragment of {IPC}
                  Without Exchange and Contraction},
  journal      = {Stud Logica},
  volume       = {63},
  number       = {2},
  pages        = {213--222},
  year         = {1999},
  url          = {https://doi.org/10.1023/A:1005262630549},
  doi          = {10.1023/A:1005262630549},
  timestamp    = {Wed, 06 Nov 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sLogica/AltenR99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/Cantwell99,
  author       = {John Cantwell},
  title        = {Some Logics of Iterated Belief Change},
  journal      = {Stud Logica},
  volume       = {63},
  number       = {1},
  pages        = {49--84},
  year         = {1999},
  url          = {https://doi.org/10.1023/A:1005219504371},
  doi          = {10.1023/A:1005219504371},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Cantwell99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/Degen99,
  author       = {J. W. Degen},
  title        = {Complete Infinitary Type Logics},
  journal      = {Stud Logica},
  volume       = {63},
  number       = {1},
  pages        = {85--119},
  year         = {1999},
  url          = {https://doi.org/10.1023/A:1005271521209},
  doi          = {10.1023/A:1005271521209},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Degen99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/ElguetaJ99,
  author       = {Raimon Elgueta and
                  Ramon Jansana},
  title        = {Definability of Leibniz Equality},
  journal      = {Stud Logica},
  volume       = {63},
  number       = {2},
  pages        = {223--243},
  year         = {1999},
  url          = {https://doi.org/10.1023/A:1005214714620},
  doi          = {10.1023/A:1005214714620},
  timestamp    = {Sun, 06 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/ElguetaJ99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/FermeH99,
  author       = {Eduardo L. Ferm{\'{e}} and
                  Sven Ove Hansson},
  title        = {Selective Revision},
  journal      = {Stud Logica},
  volume       = {63},
  number       = {3},
  pages        = {331--342},
  year         = {1999},
  url          = {https://doi.org/10.1023/A:1005294718935},
  doi          = {10.1023/A:1005294718935},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/FermeH99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/Gentilini99,
  author       = {Paolo Gentilini},
  title        = {Proof-Theoretic Modal PA-Completeness {I:} {A} System-Sequent Metric},
  journal      = {Stud Logica},
  volume       = {63},
  number       = {1},
  pages        = {27--48},
  year         = {1999},
  url          = {https://doi.org/10.1023/A:1005203020301},
  doi          = {10.1023/A:1005203020301},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Gentilini99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/Gentilini99a,
  author       = {Paolo Gentilini},
  title        = {Proof-Theoretic Modal PA-Completeness {II:} The Syntactic Countermodel},
  journal      = {Stud Logica},
  volume       = {63},
  number       = {2},
  pages        = {245--268},
  year         = {1999},
  url          = {https://doi.org/10.1023/A:1005266731458},
  doi          = {10.1023/A:1005266731458},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Gentilini99a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/Gentilini99b,
  author       = {Paolo Gentilini},
  title        = {Proof-Theoretic Modal PA-Completeness {III:} The Syntactic Proof},
  journal      = {Stud Logica},
  volume       = {63},
  number       = {3},
  pages        = {301--310},
  year         = {1999},
  url          = {https://doi.org/10.1023/A:1005262101188},
  doi          = {10.1023/A:1005262101188},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Gentilini99b.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/GhilardiM99,
  author       = {Silvio Ghilardi and
                  Pierangelo Miglioli},
  title        = {On Canonicity and Strong Completeness Conditions in Intermediate Propositional
                  Logics},
  journal      = {Stud Logica},
  volume       = {63},
  number       = {3},
  pages        = {353--385},
  year         = {1999},
  url          = {https://doi.org/10.1023/A:1005203020752},
  doi          = {10.1023/A:1005203020752},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/GhilardiM99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/KashimaK99,
  author       = {Ryo Kashima and
                  Norihiro Kamide},
  title        = {Substructural Implicational Logics Including the Relevant Logic {E}},
  journal      = {Stud Logica},
  volume       = {63},
  number       = {2},
  pages        = {181--212},
  year         = {1999},
  url          = {https://doi.org/10.1023/A:1005210613711},
  doi          = {10.1023/A:1005210613711},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/KashimaK99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/Kohlenbach99,
  author       = {Ulrich Kohlenbach},
  title        = {A Note on Goodman's Theorem},
  journal      = {Stud Logica},
  volume       = {63},
  number       = {1},
  pages        = {1--5},
  year         = {1999},
  url          = {https://doi.org/10.1023/A:1005278215757},
  doi          = {10.1023/A:1005278215757},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Kohlenbach99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/LuchiM99,
  author       = {Duccio Luchi and
                  Franco Montagna},
  title        = {An Operational Logic of Proofs with Positive and Negative Information},
  journal      = {Stud Logica},
  volume       = {63},
  number       = {1},
  pages        = {7--25},
  year         = {1999},
  url          = {https://doi.org/10.1023/A:1005298816666},
  doi          = {10.1023/A:1005298816666},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/LuchiM99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/McCawley99,
  author       = {James D. McCawley},
  title        = {Everything That Linguists Have Always Wanted to Know About Logic},
  journal      = {Stud Logica},
  volume       = {63},
  number       = {1},
  pages        = {121--150},
  year         = {1999},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/McCawley99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/Miroiu99,
  author       = {Adrian Miroiu},
  title        = {Actuality and World-Indexed Sentences},
  journal      = {Stud Logica},
  volume       = {63},
  number       = {3},
  pages        = {311--330},
  year         = {1999},
  url          = {https://doi.org/10.1023/A:1005242718026},
  doi          = {10.1023/A:1005242718026},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Miroiu99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/Ruitenburg99,
  author       = {Wim Ruitenburg},
  title        = {Basic Logic, K4, and Persistence},
  journal      = {Stud Logica},
  volume       = {63},
  number       = {3},
  pages        = {343--352},
  year         = {1999},
  url          = {https://doi.org/10.1023/A:1005298819843},
  doi          = {10.1023/A:1005298819843},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Ruitenburg99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/Suzuki99,
  author       = {Nobu{-}Yuki Suzuki},
  title        = {Algebraic Kripke Sheaf Semantics for Non-Classical Predicate Logics},
  journal      = {Stud Logica},
  volume       = {63},
  number       = {3},
  pages        = {387--416},
  year         = {1999},
  url          = {https://doi.org/10.1023/A:1005207121661},
  doi          = {10.1023/A:1005207121661},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Suzuki99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/Yashin99,
  author       = {Alexander Yashin},
  title        = {New Intuitionistic Logical Constants and Novikov Completeness},
  journal      = {Stud Logica},
  volume       = {63},
  number       = {2},
  pages        = {151--180},
  year         = {1999},
  url          = {https://doi.org/10.1023/A:1005258529641},
  doi          = {10.1023/A:1005258529641},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Yashin99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}