Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/sLogica/Ahmed07,
  author       = {Tarek Sayed Ahmed},
  title        = {A Note on Neat Reducts},
  journal      = {Stud Logica},
  volume       = {85},
  number       = {2},
  pages        = {139--151},
  year         = {2007},
  url          = {https://doi.org/10.1007/s11225-007-9034-0},
  doi          = {10.1007/S11225-007-9034-0},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Ahmed07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/AiguierB07,
  author       = {Marc Aiguier and
                  Fabrice Barbier},
  title        = {An Institution-independent Proof of the Beth Definability Theorem},
  journal      = {Stud Logica},
  volume       = {85},
  number       = {3},
  pages        = {333--359},
  year         = {2007},
  url          = {https://doi.org/10.1007/s11225-007-9043-z},
  doi          = {10.1007/S11225-007-9043-Z},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/AiguierB07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/Bilkova07,
  author       = {Marta B{\'{\i}}lkov{\'{a}}},
  title        = {Uniform Interpolation and Propositional Quantifiers in Modal Logics},
  journal      = {Stud Logica},
  volume       = {85},
  number       = {1},
  pages        = {1--31},
  year         = {2007},
  url          = {https://doi.org/10.1007/s11225-007-9021-5},
  doi          = {10.1007/S11225-007-9021-5},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Bilkova07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/Colson07,
  author       = {Lo{\"{\i}}c Colson},
  title        = {Another Paradox In Naive Set-Theory},
  journal      = {Stud Logica},
  volume       = {85},
  number       = {1},
  pages        = {33--39},
  year         = {2007},
  url          = {https://doi.org/10.1007/s11225-007-9025-1},
  doi          = {10.1007/S11225-007-9025-1},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Colson07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/Cook07,
  author       = {Roy Cook},
  title        = {Book Reviews},
  journal      = {Stud Logica},
  volume       = {85},
  number       = {2},
  pages        = {277--281},
  year         = {2007},
  url          = {https://doi.org/10.1007/s11225-007-9033-1},
  doi          = {10.1007/S11225-007-9033-1},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Cook07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/Dziemidowicz-Gryz07,
  author       = {Barbara Dziemidowicz{-}Gryz},
  title        = {On Learnability of Restricted Classes of Categorial Grammars},
  journal      = {Stud Logica},
  volume       = {85},
  number       = {2},
  pages        = {153--169},
  year         = {2007},
  url          = {https://doi.org/10.1007/s11225-007-9036-y},
  doi          = {10.1007/S11225-007-9036-Y},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Dziemidowicz-Gryz07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/Fitting07,
  author       = {Melvin Fitting},
  title        = {Correction to {FOIL} \emph{Axiomatized Studia Logica} , 84: 1-22,
                  2006},
  journal      = {Stud Logica},
  volume       = {85},
  number       = {2},
  pages        = {275},
  year         = {2007},
  url          = {https://doi.org/10.1007/s11225-007-9032-2},
  doi          = {10.1007/S11225-007-9032-2},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Fitting07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/GainaP07,
  author       = {Daniel G{\^{a}}in{\^{a}} and
                  Andrei Popescu},
  title        = {An Institution-Independent Proof of the Robinson Consistency Theorem},
  journal      = {Stud Logica},
  volume       = {85},
  number       = {1},
  pages        = {41--73},
  year         = {2007},
  url          = {https://doi.org/10.1007/s11225-007-9022-4},
  doi          = {10.1007/S11225-007-9022-4},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/GainaP07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/Gajewska-KurdzielM07,
  author       = {Katarzyna Gajewska{-}Kurdziel and
                  Krystyna Mruczek{-}Nasieniewska},
  title        = {The Lattice of Subvarieties of the Variety Defined by Externally Compatible
                  Identities of Abelian Groups of Exponent \emph{n}},
  journal      = {Stud Logica},
  volume       = {85},
  number       = {3},
  pages        = {361--379},
  year         = {2007},
  url          = {https://doi.org/10.1007/s11225-007-9038-9},
  doi          = {10.1007/S11225-007-9038-9},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sLogica/Gajewska-KurdzielM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/Goble07,
  author       = {Lou Goble},
  title        = {Combinatory Logic and the Semantics of Substructural Logics},
  journal      = {Stud Logica},
  volume       = {85},
  number       = {2},
  pages        = {171--197},
  year         = {2007},
  url          = {https://doi.org/10.1007/s11225-007-9027-z},
  doi          = {10.1007/S11225-007-9027-Z},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Goble07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/Golinska-PilarekO07,
  author       = {Joanna Golinska{-}Pilarek and
                  Ewa Orlowska},
  title        = {Tableaux and Dual Tableaux: Transformation of Proofs},
  journal      = {Stud Logica},
  volume       = {85},
  number       = {3},
  pages        = {283--302},
  year         = {2007},
  url          = {https://doi.org/10.1007/s11225-007-9055-8},
  doi          = {10.1007/S11225-007-9055-8},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Golinska-PilarekO07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/Irvine07,
  author       = {Andrew David Irvine},
  title        = {John Woods, Paradox and Paraconsistency: Conflict Resolution in the
                  Abstract Sciences},
  journal      = {Stud Logica},
  volume       = {85},
  number       = {3},
  pages        = {425--428},
  year         = {2007},
  url          = {https://doi.org/10.1007/s11225-007-9035-z},
  doi          = {10.1007/S11225-007-9035-Z},
  timestamp    = {Fri, 27 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Irvine07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/Kahle07,
  author       = {Reinhard Kahle},
  title        = {Edwin D. Mares, Relevant Logic - {A} Philosophical Interpretation},
  journal      = {Stud Logica},
  volume       = {85},
  number       = {3},
  pages        = {419--424},
  year         = {2007},
  url          = {https://doi.org/10.1007/s11225-007-9041-1},
  doi          = {10.1007/S11225-007-9041-1},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Kahle07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/Kozine07,
  author       = {Igor Kozine},
  title        = {Joseph Y. Halpern, Reasoning about uncertainty},
  journal      = {Stud Logica},
  volume       = {85},
  number       = {3},
  pages        = {411--412},
  year         = {2007},
  url          = {https://doi.org/10.1007/s11225-007-9037-x},
  doi          = {10.1007/S11225-007-9037-X},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Kozine07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/Kutz07,
  author       = {Oliver Kutz},
  title        = {Notes on Logics of Metric Spaces},
  journal      = {Stud Logica},
  volume       = {85},
  number       = {1},
  pages        = {75--104},
  year         = {2007},
  url          = {https://doi.org/10.1007/s11225-007-9023-3},
  doi          = {10.1007/S11225-007-9023-3},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Kutz07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/Miyazaki07,
  author       = {Yutaka Miyazaki},
  title        = {Kripke Incomplete Logics Containing {KTB}},
  journal      = {Stud Logica},
  volume       = {85},
  number       = {3},
  pages        = {303--317},
  year         = {2007},
  url          = {https://doi.org/10.1007/s11225-007-9056-7},
  doi          = {10.1007/S11225-007-9056-7},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Miyazaki07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/Miyazaki07a,
  author       = {Yutaka Miyazaki},
  title        = {A Splitting Logic in NExt(KTB)},
  journal      = {Stud Logica},
  volume       = {85},
  number       = {3},
  pages        = {381--394},
  year         = {2007},
  url          = {https://doi.org/10.1007/s11225-007-9039-8},
  doi          = {10.1007/S11225-007-9039-8},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Miyazaki07a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/Pizzi07,
  author       = {Claudio E. A. Pizzi},
  title        = {Necessity and Relative Contingency},
  journal      = {Stud Logica},
  volume       = {85},
  number       = {3},
  pages        = {395--410},
  year         = {2007},
  url          = {https://doi.org/10.1007/s11225-007-9044-y},
  doi          = {10.1007/S11225-007-9044-Y},
  timestamp    = {Mon, 26 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Pizzi07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/Rooij07,
  author       = {Robert van Rooij},
  title        = {The Stag Hunt and the Evolution of Social Structure},
  journal      = {Stud Logica},
  volume       = {85},
  number       = {1},
  pages        = {133--138},
  year         = {2007},
  url          = {https://doi.org/10.1007/s11225-007-9024-2},
  doi          = {10.1007/S11225-007-9024-2},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Rooij07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/Sogaard07,
  author       = {Anders S{\o}gaard},
  title        = {Patrick Blackburnand Johan Bos, Representation and Inference for Natural
                  Language},
  journal      = {Stud Logica},
  volume       = {85},
  number       = {3},
  pages        = {413--418},
  year         = {2007},
  url          = {https://doi.org/10.1007/s11225-007-9040-2},
  doi          = {10.1007/S11225-007-9040-2},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Sogaard07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/Stouppa07,
  author       = {Phiniki Stouppa},
  title        = {A Deep Inference System for the Modal Logic {S5}},
  journal      = {Stud Logica},
  volume       = {85},
  number       = {2},
  pages        = {199--214},
  year         = {2007},
  url          = {https://doi.org/10.1007/s11225-007-9028-y},
  doi          = {10.1007/S11225-007-9028-Y},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Stouppa07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/Terwijn07,
  author       = {Sebastiaan Terwijn},
  title        = {Kripke Models, Distributive Lattices, and Medvedev Degrees},
  journal      = {Stud Logica},
  volume       = {85},
  number       = {3},
  pages        = {319--332},
  year         = {2007},
  url          = {https://doi.org/10.1007/s11225-007-9054-9},
  doi          = {10.1007/S11225-007-9054-9},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Terwijn07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/Voutsadakis07,
  author       = {George Voutsadakis},
  title        = {Categorical Abstract Algebraic Logic: Prealgebraicity and Protoalgebraicity},
  journal      = {Stud Logica},
  volume       = {85},
  number       = {2},
  pages        = {215--249},
  year         = {2007},
  url          = {https://doi.org/10.1007/s11225-007-9029-x},
  doi          = {10.1007/S11225-007-9029-X},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Voutsadakis07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/Wen07,
  author       = {Xuefeng Wen},
  title        = {A Propositional Logic with Relative Identity Connective and a Partial
                  Solution to the Paradox of Analysis},
  journal      = {Stud Logica},
  volume       = {85},
  number       = {2},
  pages        = {251--260},
  year         = {2007},
  url          = {https://doi.org/10.1007/s11225-007-9030-4},
  doi          = {10.1007/S11225-007-9030-4},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Wen07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/Wybraniec-Skardowska07,
  author       = {Urszula Wybraniec{-}Skardowska},
  title        = {Meaning and Interpretation. {I}},
  journal      = {Stud Logica},
  volume       = {85},
  number       = {1},
  pages        = {105--132},
  year         = {2007},
  url          = {https://doi.org/10.1007/s11225-007-9026-0},
  doi          = {10.1007/S11225-007-9026-0},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Wybraniec-Skardowska07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/Wybraniec-Skardowska07a,
  author       = {Urszula Wybraniec{-}Skardowska},
  title        = {Meaning and Interpretation. {II}},
  journal      = {Stud Logica},
  volume       = {85},
  number       = {2},
  pages        = {261--274},
  year         = {2007},
  url          = {https://doi.org/10.1007/s11225-007-9031-3},
  doi          = {10.1007/S11225-007-9031-3},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Wybraniec-Skardowska07a.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.