Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/journals/sLogica/sLogica66.bht:"
@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} }
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.