Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/sLogica/AczelCIPS06,
  author       = {Peter Aczel and
                  Laura Crosilla and
                  Hajime Ishihara and
                  Erik Palmgren and
                  Peter Schuster},
  title        = {Binary Refinement Implies Discrete Exponentiation},
  journal      = {Stud Logica},
  volume       = {84},
  number       = {3},
  pages        = {361--368},
  year         = {2006},
  url          = {https://doi.org/10.1007/s11225-006-9014-9},
  doi          = {10.1007/S11225-006-9014-9},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/AczelCIPS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/Arlo-CostaP06,
  author       = {Horacio L. Arl{\'{o}}{-}Costa and
                  Eric Pacuit},
  title        = {First-Order Classical Modal Logic},
  journal      = {Stud Logica},
  volume       = {84},
  number       = {2},
  pages        = {171--210},
  year         = {2006},
  url          = {https://doi.org/10.1007/s11225-006-9010-0},
  doi          = {10.1007/S11225-006-9010-0},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Arlo-CostaP06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/BenthemBCS06,
  author       = {Johan van Benthem and
                  Guram Bezhanishvili and
                  Balder ten Cate and
                  Darko Sarenac},
  title        = {Multimo dal Logics of Products of Topologies},
  journal      = {Stud Logica},
  volume       = {84},
  number       = {3},
  pages        = {369--392},
  year         = {2006},
  url          = {https://doi.org/10.1007/s11225-006-9013-x},
  doi          = {10.1007/S11225-006-9013-X},
  timestamp    = {Sun, 12 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sLogica/BenthemBCS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/BlackburnC06,
  author       = {Patrick Blackburn and
                  Balder ten Cate},
  title        = {Pure Extensions, Proof Rules, and Hybrid Axiomatics},
  journal      = {Stud Logica},
  volume       = {84},
  number       = {2},
  pages        = {277--322},
  year         = {2006},
  url          = {https://doi.org/10.1007/s11225-006-9009-6},
  doi          = {10.1007/S11225-006-9009-6},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/BlackburnC06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/BrandenburgerK06,
  author       = {Adam Brandenburger and
                  H. Jerome Keisler},
  title        = {An Impossibility Theorem on Beliefs in Games},
  journal      = {Stud Logica},
  volume       = {84},
  number       = {2},
  pages        = {211--240},
  year         = {2006},
  url          = {https://doi.org/10.1007/s11225-006-9011-z},
  doi          = {10.1007/S11225-006-9011-Z},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/BrandenburgerK06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/CignoliM06,
  author       = {Roberto Cignoli and
                  Luiz Monteiro},
  title        = {Maximal Subalgebras of MV\({}_{\mbox{n}}\)-algebras. {A} Proof of
                  a Conjecture of A. Monteiro},
  journal      = {Stud Logica},
  volume       = {84},
  number       = {3},
  pages        = {393--405},
  year         = {2006},
  url          = {https://doi.org/10.1007/s11225-006-9020-y},
  doi          = {10.1007/S11225-006-9020-Y},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/CignoliM06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/Fitting06,
  author       = {Melvin Fitting},
  title        = {{FOIL} Axiomatized},
  journal      = {Stud Logica},
  volume       = {84},
  number       = {1},
  pages        = {1--22},
  year         = {2006},
  url          = {https://doi.org/10.1007/s11225-006-9000-2},
  doi          = {10.1007/S11225-006-9000-2},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Fitting06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/Foulis06,
  author       = {David J. Foulis},
  title        = {The Universal Group of a Heyting Effect Algebra},
  journal      = {Stud Logica},
  volume       = {84},
  number       = {3},
  pages        = {407--424},
  year         = {2006},
  url          = {https://doi.org/10.1007/s11225-006-9015-8},
  doi          = {10.1007/S11225-006-9015-8},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Foulis06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/Gehrke06,
  author       = {Mai Gehrke},
  title        = {Generalized Kripke Frames},
  journal      = {Stud Logica},
  volume       = {84},
  number       = {2},
  pages        = {241--275},
  year         = {2006},
  url          = {https://doi.org/10.1007/s11225-006-9008-7},
  doi          = {10.1007/S11225-006-9008-7},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Gehrke06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/George06,
  author       = {Benjamin R. George},
  title        = {Second-Order Characterizable Cardinals and Ordinals},
  journal      = {Stud Logica},
  volume       = {84},
  number       = {3},
  pages        = {425--449},
  year         = {2006},
  url          = {https://doi.org/10.1007/s11225-006-9016-7},
  doi          = {10.1007/S11225-006-9016-7},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/George06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/Gottwald06a,
  author       = {Siegfried Gottwald},
  title        = {Universes of Fuzzy Sets and Axiomatizations of Fuzzy Set Theory. Part
                  {II:} Category Theoretic Approaches},
  journal      = {Stud Logica},
  volume       = {84},
  number       = {1},
  pages        = {23--50},
  year         = {2006},
  url          = {https://doi.org/10.1007/s11225-006-9001-1},
  doi          = {10.1007/S11225-006-9001-1},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Gottwald06a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/Hajek06,
  author       = {Petr H{\'{a}}jek},
  title        = {Mathematical Fuzzy Logic - What It Can Learn from Mostowski and Rasiowa},
  journal      = {Stud Logica},
  volume       = {84},
  number       = {1},
  pages        = {51--62},
  year         = {2006},
  url          = {https://doi.org/10.1007/s11225-006-9002-0},
  doi          = {10.1007/S11225-006-9002-0},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Hajek06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/HendricksP06a,
  author       = {Vincent F. Hendricks and
                  Stig Andur Pedersen},
  title        = {Ways of Worlds {I-II}},
  journal      = {Stud Logica},
  volume       = {84},
  number       = {2},
  pages        = {167--169},
  year         = {2006},
  url          = {https://doi.org/10.1007/s11225-006-9007-8},
  doi          = {10.1007/S11225-006-9007-8},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/HendricksP06a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/Jansana06a,
  author       = {Ramon Jansana},
  title        = {Selfextensional Logics with a Conjunction},
  journal      = {Stud Logica},
  volume       = {84},
  number       = {1},
  pages        = {63--104},
  year         = {2006},
  url          = {https://doi.org/10.1007/s11225-006-9003-z},
  doi          = {10.1007/S11225-006-9003-Z},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sLogica/Jansana06a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/Jarvinen06,
  author       = {Jouni J{\"{a}}rvinen},
  title        = {Incomplete Information: Structure, Inference, Complexity},
  journal      = {Stud Logica},
  volume       = {84},
  number       = {3},
  pages        = {469--475},
  year         = {2006},
  url          = {https://doi.org/10.1007/s11225-006-9018-5},
  doi          = {10.1007/S11225-006-9018-5},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Jarvinen06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/Jehle06,
  author       = {David Jehle},
  title        = {Knowledge and Lotteries},
  journal      = {Stud Logica},
  volume       = {84},
  number       = {1},
  pages        = {161--165},
  year         = {2006},
  url          = {https://doi.org/10.1007/s11225-006-9006-9},
  doi          = {10.1007/S11225-006-9006-9},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Jehle06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/KonevKWZ06,
  author       = {Boris Konev and
                  Roman Kontchakov and
                  Frank Wolter and
                  Michael Zakharyaschev},
  title        = {On Dynamic Topological and Metric Logics},
  journal      = {Stud Logica},
  volume       = {84},
  number       = {1},
  pages        = {129--160},
  year         = {2006},
  url          = {https://doi.org/10.1007/s11225-006-9005-x},
  doi          = {10.1007/S11225-006-9005-X},
  timestamp    = {Sun, 17 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sLogica/KonevKWZ06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/RudeanuS06,
  author       = {Sergiu Rudeanu and
                  Dan A. Simovici},
  title        = {On the Ranges of Algebraic Functions on Lattices},
  journal      = {Stud Logica},
  volume       = {84},
  number       = {3},
  pages        = {451--468},
  year         = {2006},
  url          = {https://doi.org/10.1007/s11225-006-9017-6},
  doi          = {10.1007/S11225-006-9017-6},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/RudeanuS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/Sowa06,
  author       = {John F. Sowa},
  title        = {Worlds, Models and Descriptions},
  journal      = {Stud Logica},
  volume       = {84},
  number       = {2},
  pages        = {323--360},
  year         = {2006},
  url          = {https://doi.org/10.1007/s11225-006-9012-y},
  doi          = {10.1007/S11225-006-9012-Y},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Sowa06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/Vakarelov06,
  author       = {Dimiter Vakarelov},
  title        = {Non-Classical Negation in the Works of Helena Rasiowa and Their Impact
                  on the Theory of Negation},
  journal      = {Stud Logica},
  volume       = {84},
  number       = {1},
  pages        = {105--127},
  year         = {2006},
  url          = {https://doi.org/10.1007/s11225-006-9004-y},
  doi          = {10.1007/S11225-006-9004-Y},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Vakarelov06.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.