Search dblp for Publications

export results for "toc:db/journals/sLogica/sLogica66.bht:"

 download as .bib file

@article{DBLP:journals/sLogica/Alechina00,
  author       = {Natasha Alechina},
  title        = {Functional Dependencies between Variables},
  journal      = {Stud Logica},
  volume       = {66},
  number       = {2},
  pages        = {273--283},
  year         = {2000},
  url          = {https://doi.org/10.1023/A:1005200414624},
  doi          = {10.1023/A:1005200414624},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Alechina00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/BatensM00,
  author       = {Diderik Batens and
                  Joke Meheus},
  title        = {The Adaptive Logic of Compatibility},
  journal      = {Stud Logica},
  volume       = {66},
  number       = {3},
  pages        = {327--348},
  year         = {2000},
  url          = {https://doi.org/10.1023/A:1005208616441},
  doi          = {10.1023/A:1005208616441},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/BatensM00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Bimbo00,
  author       = {Katalin Bimb{\'{o}}},
  title        = {Investigation into Combinatory Systems with Dual Combinators},
  journal      = {Stud Logica},
  volume       = {66},
  number       = {2},
  pages        = {285--296},
  year         = {2000},
  url          = {https://doi.org/10.1023/A:1005252431462},
  doi          = {10.1023/A:1005252431462},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Bimbo00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/DemriG00,
  author       = {St{\'{e}}phane Demri and
                  Dov M. Gabbay},
  title        = {On Modal Logics Characterized by Models with Relative Accessibility
                  Relations: Part {II}},
  journal      = {Stud Logica},
  volume       = {66},
  number       = {3},
  pages        = {349--384},
  year         = {2000},
  url          = {https://doi.org/10.1023/A:1005260600511},
  doi          = {10.1023/A:1005260600511},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/DemriG00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Dunn00,
  author       = {J. Michael Dunn},
  title        = {Partiality and Its Dual},
  journal      = {Stud Logica},
  volume       = {66},
  number       = {1},
  pages        = {5--40},
  year         = {2000},
  url          = {https://doi.org/10.1023/A:1026740726955},
  doi          = {10.1023/A:1026740726955},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Dunn00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Eijck00,
  author       = {Jan van Eijck},
  title        = {Making Things Happen},
  journal      = {Stud Logica},
  volume       = {66},
  number       = {1},
  pages        = {41--58},
  year         = {2000},
  url          = {https://doi.org/10.1023/A:1026792711025},
  doi          = {10.1023/A:1026792711025},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Eijck00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/FarmerG00,
  author       = {William M. Farmer and
                  Joshua D. Guttman},
  title        = {A Set Theory with Support for Partial Functions},
  journal      = {Stud Logica},
  volume       = {66},
  number       = {1},
  pages        = {59--78},
  year         = {2000},
  url          = {https://doi.org/10.1023/A:1026744827863},
  doi          = {10.1023/A:1026744827863},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/FarmerG00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Finn00,
  author       = {V. K. Finn},
  title        = {Vladimir Alexandrovich Smirnov as a Founder of Research Schools in
                  Logic and Methodology of Science in the {USSR} and Russia},
  journal      = {Stud Logica},
  volume       = {66},
  number       = {2},
  pages        = {205--213},
  year         = {2000},
  url          = {https://doi.org/10.1023/A:1005287928736},
  doi          = {10.1023/A:1005287928736},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Finn00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/HoekLM00,
  author       = {Wiebe van der Hoek and
                  Bernd van Linder and
                  John{-}Jules Ch. Meyer},
  title        = {On Agents That Have the Ability to Choose},
  journal      = {Stud Logica},
  volume       = {66},
  number       = {1},
  pages        = {79--119},
  year         = {2000},
  url          = {https://doi.org/10.1023/A:1026796912842},
  doi          = {10.1023/A:1026796912842},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/HoekLM00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Karpenko00,
  author       = {Alexander S. Karpenko},
  title        = {V. A. Smirnov {(1931-1996):} Work and Life},
  journal      = {Stud Logica},
  volume       = {66},
  number       = {2},
  pages        = {201--204},
  year         = {2000},
  url          = {https://doi.org/10.1023/A:1005238627828},
  doi          = {10.1023/A:1005238627828},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Karpenko00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Karpenko00a,
  author       = {Alexander S. Karpenko},
  title        = {The Classification of Propositional Calculi},
  journal      = {Stud Logica},
  volume       = {66},
  number       = {2},
  pages        = {253--271},
  year         = {2000},
  url          = {https://doi.org/10.1023/A:1005292130553},
  doi          = {10.1023/A:1005292130553},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Karpenko00a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/LavendhommeL00,
  author       = {Ren{\'{e}} Lavendhomme and
                  Thierry Lucas},
  title        = {Sequent Calculi and Decision Procedures for Weak Modal Systems},
  journal      = {Stud Logica},
  volume       = {66},
  number       = {1},
  pages        = {121--145},
  year         = {2000},
  url          = {https://doi.org/10.1023/A:1026753129680},
  doi          = {10.1023/A:1026753129680},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/LavendhommeL00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Lepage00,
  author       = {Fran{\c{c}}ois Lepage},
  title        = {Partial Monotonic Protothetics},
  journal      = {Stud Logica},
  volume       = {66},
  number       = {1},
  pages        = {147--163},
  year         = {2000},
  url          = {https://doi.org/10.1023/A:1026705214659},
  doi          = {10.1023/A:1026705214659},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Lepage00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/LepageTW00,
  author       = {Fran{\c{c}}ois Lepage and
                  Elias Thijsse and
                  Heinrich Wansing},
  title        = {Introduction},
  journal      = {Stud Logica},
  volume       = {66},
  number       = {1},
  pages        = {1--4},
  year         = {2000},
  url          = {https://doi.org/10.1023/A:1026733410116},
  doi          = {10.1023/A:1026733410116},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sLogica/LepageTW00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/LesperanceLLS00,
  author       = {Yves Lesp{\'{e}}rance and
                  Hector J. Levesque and
                  Fangzhen Lin and
                  Richard B. Scherl},
  title        = {Ability and Knowing How in the Situation Calculus},
  journal      = {Stud Logica},
  volume       = {66},
  number       = {1},
  pages        = {165--186},
  year         = {2000},
  url          = {https://doi.org/10.1023/A:1026761331498},
  doi          = {10.1023/A:1026761331498},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/LesperanceLLS00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/MendezS00,
  author       = {Jos{\'{e}} M. M{\'{e}}ndez and
                  Francisco Salto},
  title        = {Intuitionistic Propositional Logic without 'Contraction' but with
                  'Reductio'},
  journal      = {Stud Logica},
  volume       = {66},
  number       = {3},
  pages        = {409--418},
  year         = {2000},
  url          = {https://doi.org/10.1023/A:1005216827905},
  doi          = {10.1023/A:1005216827905},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/MendezS00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Schotch00,
  author       = {Peter K. Schotch},
  title        = {Skepticism and Epistemic Logic},
  journal      = {Stud Logica},
  volume       = {66},
  number       = {1},
  pages        = {187--198},
  year         = {2000},
  url          = {https://doi.org/10.1023/A:1026713415568},
  doi          = {10.1023/A:1026713415568},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Schotch00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Stebletsova00,
  author       = {Vera Stebletsova},
  title        = {Weakly Associative Relation Algebras with Polyadic Composition Operations},
  journal      = {Stud Logica},
  volume       = {66},
  number       = {2},
  pages        = {297--323},
  year         = {2000},
  url          = {https://doi.org/10.1023/A:1005204532371},
  doi          = {10.1023/A:1005204532371},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Stebletsova00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Vigano00,
  author       = {Luca Vigan{\`{o}}},
  title        = {An O(n log n)-Space Decision Procedure for the Relevance Logic {B+}},
  journal      = {Stud Logica},
  volume       = {66},
  number       = {3},
  pages        = {385--407},
  year         = {2000},
  url          = {https://doi.org/10.1023/A:1005212701420},
  doi          = {10.1023/A:1005212701420},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Vigano00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/X00,
  title        = {Publications of Vladimir Alexandrovich Smirnov},
  journal      = {Stud Logica},
  volume       = {66},
  number       = {2},
  pages        = {215--225},
  year         = {2000},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/X00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/X00a,
  title        = {V. A. Smirnov's Results in the Field of Modern Formal Logic},
  journal      = {Stud Logica},
  volume       = {66},
  number       = {2},
  pages        = {227--252},
  year         = {2000},
  url          = {https://doi.org/10.1023/A:1017396213715},
  doi          = {10.1023/A:1017396213715},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/X00a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics