Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/sLogica/AbrahamGS09,
  author       = {Michael Abraham and
                  Dov M. Gabbay and
                  Uri J. Schild},
  title        = {Analysis of the Talmudic Argumentum {A} Fortiori Inference Rule (Kal
                  Vachomer) using Matrix Abduction},
  journal      = {Stud Logica},
  volume       = {92},
  number       = {3},
  pages        = {281--364},
  year         = {2009},
  url          = {https://doi.org/10.1007/s11225-009-9202-5},
  doi          = {10.1007/S11225-009-9202-5},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/AbrahamGS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/AgotnesHRSW09,
  author       = {Thomas {\AA}gotnes and
                  Wiebe van der Hoek and
                  Juan A. Rodr{\'{\i}}guez{-}Aguilar and
                  Carles Sierra and
                  Michael J. Wooldridge},
  title        = {Multi-Modal {CTL:} Completeness, Complexity, and an Application},
  journal      = {Stud Logica},
  volume       = {92},
  number       = {1},
  pages        = {1--26},
  year         = {2009},
  url          = {https://doi.org/10.1007/s11225-009-9184-3},
  doi          = {10.1007/S11225-009-9184-3},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/AgotnesHRSW09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/AguzzoliBM09,
  author       = {Stefano Aguzzoli and
                  Matteo Bianchi and
                  Vincenzo Marra},
  title        = {A Temporal Semantics for Basic Logic},
  journal      = {Stud Logica},
  volume       = {92},
  number       = {2},
  pages        = {147--162},
  year         = {2009},
  url          = {https://doi.org/10.1007/s11225-009-9192-3},
  doi          = {10.1007/S11225-009-9192-3},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/AguzzoliBM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/Avron09,
  author       = {Arnon Avron},
  title        = {Multi-valued Semantics: Why and How},
  journal      = {Stud Logica},
  volume       = {92},
  number       = {2},
  pages        = {163--182},
  year         = {2009},
  url          = {https://doi.org/10.1007/s11225-009-9193-2},
  doi          = {10.1007/S11225-009-9193-2},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Avron09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/BarkerBGG09,
  author       = {Steve Barker and
                  Guido Boella and
                  Dov M. Gabbay and
                  Valerio Genovese},
  title        = {A Meta-model of Access Control in a Fibred Security Language},
  journal      = {Stud Logica},
  volume       = {92},
  number       = {3},
  pages        = {437--477},
  year         = {2009},
  url          = {https://doi.org/10.1007/s11225-009-9203-4},
  doi          = {10.1007/S11225-009-9203-4},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/BarkerBGG09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/BoellaGGT09,
  author       = {Guido Boella and
                  Dov M. Gabbay and
                  Valerio Genovese and
                  Leendert W. N. van der Torre},
  title        = {Fibred Security Language},
  journal      = {Stud Logica},
  volume       = {92},
  number       = {3},
  pages        = {395--436},
  year         = {2009},
  url          = {https://doi.org/10.1007/s11225-009-9201-6},
  doi          = {10.1007/S11225-009-9201-6},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/BoellaGGT09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/Carter09,
  author       = {Jessica Carter},
  title        = {Book Reviews},
  journal      = {Stud Logica},
  volume       = {92},
  number       = {1},
  pages        = {137--141},
  year         = {2009},
  url          = {https://doi.org/10.1007/s11225-009-9190-5},
  doi          = {10.1007/S11225-009-9190-5},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Carter09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/Cook09a,
  author       = {Roy T. Cook},
  title        = {What is a Truth Value And How Many Are There?},
  journal      = {Stud Logica},
  volume       = {92},
  number       = {2},
  pages        = {183--201},
  year         = {2009},
  url          = {https://doi.org/10.1007/s11225-009-9194-1},
  doi          = {10.1007/S11225-009-9194-1},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Cook09a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/Ferenczi09,
  author       = {Mikl{\'{o}}s Ferenczi},
  title        = {On Conservative Extensions in Logics with Infinitary Predicates},
  journal      = {Stud Logica},
  volume       = {92},
  number       = {1},
  pages        = {121--135},
  year         = {2009},
  url          = {https://doi.org/10.1007/s11225-009-9189-y},
  doi          = {10.1007/S11225-009-9189-Y},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Ferenczi09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/FermullerM09,
  author       = {Christian G. Ferm{\"{u}}ller and
                  George Metcalfe},
  title        = {Giles's Game and the Proof Theory of Lukasiewicz Logic},
  journal      = {Stud Logica},
  volume       = {92},
  number       = {1},
  pages        = {27--61},
  year         = {2009},
  url          = {https://doi.org/10.1007/s11225-009-9185-2},
  doi          = {10.1007/S11225-009-9185-2},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/FermullerM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/FerreiraF09,
  author       = {Fernando Ferreira and
                  Gilda Ferreira},
  title        = {Commuting Conversions vs. the Standard Conversions of the "Good" Connectives},
  journal      = {Stud Logica},
  volume       = {92},
  number       = {1},
  pages        = {63--84},
  year         = {2009},
  url          = {https://doi.org/10.1007/s11225-009-9186-1},
  doi          = {10.1007/S11225-009-9186-1},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/FerreiraF09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/GabbayS09,
  author       = {Dov M. Gabbay and
                  Andrzej Szalas},
  title        = {Voting by Eliminating Quantifiers},
  journal      = {Stud Logica},
  volume       = {92},
  number       = {3},
  pages        = {365--379},
  year         = {2009},
  url          = {https://doi.org/10.1007/s11225-009-9200-7},
  doi          = {10.1007/S11225-009-9200-7},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/GabbayS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/GabbayS09a,
  author       = {Dov M. Gabbay and
                  Karl Schlechta},
  title        = {Independence - Revision and Defaults},
  journal      = {Stud Logica},
  volume       = {92},
  number       = {3},
  pages        = {381--394},
  year         = {2009},
  url          = {https://doi.org/10.1007/s11225-009-9199-9},
  doi          = {10.1007/S11225-009-9199-9},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/GabbayS09a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/JarmuzekP09,
  author       = {Tomasz Jarmuzek and
                  Andrzej Pietruszczak},
  title        = {The Tense Logic for Master Argument in Prior's Reconstruction},
  journal      = {Stud Logica},
  volume       = {92},
  number       = {1},
  pages        = {85--108},
  year         = {2009},
  url          = {https://doi.org/10.1007/s11225-009-9187-0},
  doi          = {10.1007/S11225-009-9187-0},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/JarmuzekP09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/Malinowski09,
  author       = {Grzegorz Malinowski},
  title        = {Beyond Three Inferential Values},
  journal      = {Stud Logica},
  volume       = {92},
  number       = {2},
  pages        = {203--213},
  year         = {2009},
  url          = {https://doi.org/10.1007/s11225-009-9195-0},
  doi          = {10.1007/S11225-009-9195-0},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Malinowski09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/Marcos09,
  author       = {Jo{\~{a}}o Marcos},
  title        = {What is a Non-truth-functional Logic?},
  journal      = {Stud Logica},
  volume       = {92},
  number       = {2},
  pages        = {215--240},
  year         = {2009},
  url          = {https://doi.org/10.1007/s11225-009-9196-z},
  doi          = {10.1007/S11225-009-9196-Z},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Marcos09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/NurakunovS09,
  author       = {Anvar M. Nurakunov and
                  Michal M. Stronkowski},
  title        = {Quasivarieties with Definable Relative Principal Subcongruences},
  journal      = {Stud Logica},
  volume       = {92},
  number       = {1},
  pages        = {109--120},
  year         = {2009},
  url          = {https://doi.org/10.1007/s11225-009-9188-z},
  doi          = {10.1007/S11225-009-9188-Z},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/NurakunovS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/Restall09,
  author       = {Greg Restall},
  title        = {Truth Values and Proof Theory},
  journal      = {Stud Logica},
  volume       = {92},
  number       = {2},
  pages        = {241--264},
  year         = {2009},
  url          = {https://doi.org/10.1007/s11225-009-9197-y},
  doi          = {10.1007/S11225-009-9197-Y},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sLogica/Restall09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/ShramkoW09b,
  author       = {Yaroslav Shramko and
                  Heinrich Wansing},
  title        = {Editorial Introduction. Truth Values: Part {II}},
  journal      = {Stud Logica},
  volume       = {92},
  number       = {2},
  pages        = {143--146},
  year         = {2009},
  url          = {https://doi.org/10.1007/s11225-009-9191-4},
  doi          = {10.1007/S11225-009-9191-4},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sLogica/ShramkoW09b.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/Zaitsev09,
  author       = {Dmitry Zaitsev},
  title        = {A Few More Useful 8-valued Logics for Reasoning with Tetralattice
                  \emph{EIGHT}\({}_{\mbox{4}}\)},
  journal      = {Stud Logica},
  volume       = {92},
  number       = {2},
  pages        = {265--280},
  year         = {2009},
  url          = {https://doi.org/10.1007/s11225-009-9198-x},
  doi          = {10.1007/S11225-009-9198-X},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Zaitsev09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.