Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/sLogica/BenthemW95,
  author       = {Johan van Benthem and
                  Dag Westerst{\aa}hl},
  title        = {Directions in generalized quantifier theory},
  journal      = {Stud Logica},
  volume       = {55},
  number       = {3},
  pages        = {389--419},
  year         = {1995},
  url          = {https://doi.org/10.1007/BF01057805},
  doi          = {10.1007/BF01057805},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/BenthemW95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/ChagrovC95,
  author       = {Alexander V. Chagrov and
                  L. A. Chagrova},
  title        = {Algorithmic problems concerning first-order definability of modal
                  formulas on the class of all finite frames},
  journal      = {Stud Logica},
  volume       = {55},
  number       = {3},
  pages        = {421--448},
  year         = {1995},
  url          = {https://doi.org/10.1007/BF01057806},
  doi          = {10.1007/BF01057806},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/ChagrovC95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/ChiaraG95,
  author       = {Maria Luisa Dalla Chiara and
                  Roberto Giuntini},
  title        = {The logics of orthoalgebras},
  journal      = {Stud Logica},
  volume       = {55},
  number       = {1},
  pages        = {3--22},
  year         = {1995},
  url          = {https://doi.org/10.1007/BF01053029},
  doi          = {10.1007/BF01053029},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/ChiaraG95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/CostaD95,
  author       = {Newton C. A. da Costa and
                  Francisco A. Doria},
  title        = {Undecidability, incompleteness and the Arnol'd problems},
  journal      = {Stud Logica},
  volume       = {55},
  number       = {1},
  pages        = {23--32},
  year         = {1995},
  url          = {https://doi.org/10.1007/BF01053030},
  doi          = {10.1007/BF01053030},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/CostaD95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/Dragalin95,
  author       = {Albert G. Drag{\'{a}}lin},
  title        = {Explicit algebraic models for constructive and classical theories
                  with non-standard elements},
  journal      = {Stud Logica},
  volume       = {55},
  number       = {1},
  pages        = {33--61},
  year         = {1995},
  url          = {https://doi.org/10.1007/BF01053031},
  doi          = {10.1007/BF01053031},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Dragalin95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/Dunn95,
  author       = {J. Michael Dunn},
  title        = {Positive modal logic},
  journal      = {Stud Logica},
  volume       = {55},
  number       = {2},
  pages        = {301--317},
  year         = {1995},
  url          = {https://doi.org/10.1007/BF01061239},
  doi          = {10.1007/BF01061239},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Dunn95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/Fitting95,
  author       = {Melvin Fitting},
  title        = {Tableaus for many-valued modal logic},
  journal      = {Stud Logica},
  volume       = {55},
  number       = {1},
  pages        = {63--87},
  year         = {1995},
  url          = {https://doi.org/10.1007/BF01053032},
  doi          = {10.1007/BF01053032},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Fitting95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/GarciaE95,
  author       = {Pere Garcia and
                  Francesc Esteva},
  title        = {On Ockham algebras: congruence lattices and subdirectly irreducible
                  algebras},
  journal      = {Stud Logica},
  volume       = {55},
  number       = {2},
  pages        = {319--346},
  year         = {1995},
  url          = {https://doi.org/10.1007/BF01061240},
  doi          = {10.1007/BF01061240},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sLogica/GarciaE95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/GhilardiZ95,
  author       = {Silvio Ghilardi and
                  Marek W. Zawadowski},
  title        = {Undefinability of propositional quantifiers in the modal system {S4}},
  journal      = {Stud Logica},
  volume       = {55},
  number       = {2},
  pages        = {259--271},
  year         = {1995},
  url          = {https://doi.org/10.1007/BF01061237},
  doi          = {10.1007/BF01061237},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/GhilardiZ95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/Iturrioz95,
  author       = {Luisa Iturrioz},
  title        = {Symmetrical Heyting algebras with a finite order type of operators},
  journal      = {Stud Logica},
  volume       = {55},
  number       = {1},
  pages        = {89--98},
  year         = {1995},
  url          = {https://doi.org/10.1007/BF01053033},
  doi          = {10.1007/BF01053033},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Iturrioz95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/Jansana95,
  author       = {Ramon Jansana},
  title        = {Abstract modal logics},
  journal      = {Stud Logica},
  volume       = {55},
  number       = {2},
  pages        = {273--299},
  year         = {1995},
  url          = {https://doi.org/10.1007/BF01061238},
  doi          = {10.1007/BF01061238},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sLogica/Jansana95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/KanoveiR95,
  author       = {Vladimir Kanovei and
                  Michael Reeken},
  title        = {Internal approach to external sets and universes (Part {I)}},
  journal      = {Stud Logica},
  volume       = {55},
  number       = {2},
  pages        = {229--257},
  year         = {1995},
  url          = {https://doi.org/10.1007/BF01061236},
  doi          = {10.1007/BF01061236},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/KanoveiR95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/KanoveiR95a,
  author       = {Vladimir Kanovei and
                  Michael Reeken},
  title        = {Internal approach to external sets and universes (Part {II)}},
  journal      = {Stud Logica},
  volume       = {55},
  number       = {3},
  pages        = {347--376},
  year         = {1995},
  url          = {https://doi.org/10.1007/BF01057803},
  doi          = {10.1007/BF01057803},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/KanoveiR95a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/Maksimova95,
  author       = {Larisa Maksimova},
  title        = {On variable separation in modal and superintuitionistic logics},
  journal      = {Stud Logica},
  volume       = {55},
  number       = {1},
  pages        = {99--112},
  year         = {1995},
  url          = {https://doi.org/10.1007/BF01053034},
  doi          = {10.1007/BF01053034},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Maksimova95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/Mundici95,
  author       = {Daniele Mundici},
  title        = {Averaging the truth-value in Lukasiewicz logic},
  journal      = {Stud Logica},
  volume       = {55},
  number       = {1},
  pages        = {113--127},
  year         = {1995},
  url          = {https://doi.org/10.1007/BF01053035},
  doi          = {10.1007/BF01053035},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Mundici95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/PigozziS95,
  author       = {Don Pigozzi and
                  Antonino Salibra},
  title        = {The abstract variable-binding calculus},
  journal      = {Stud Logica},
  volume       = {55},
  number       = {1},
  pages        = {129--179},
  year         = {1995},
  url          = {https://doi.org/10.1007/BF01053036},
  doi          = {10.1007/BF01053036},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/PigozziS95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/Sendlewski95,
  author       = {Andrzej Sendlewski},
  title        = {Axiomatic extensions of the constructive logic with strong negation
                  and the disjunction property},
  journal      = {Stud Logica},
  volume       = {55},
  number       = {3},
  pages        = {377--388},
  year         = {1995},
  url          = {https://doi.org/10.1007/BF01057804},
  doi          = {10.1007/BF01057804},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Sendlewski95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/SetteC95,
  author       = {Antonio Mario Sette and
                  Walter Alexandre Carnielli},
  title        = {Maximal weakly-intuitionistic logics},
  journal      = {Stud Logica},
  volume       = {55},
  number       = {1},
  pages        = {181--203},
  year         = {1995},
  url          = {https://doi.org/10.1007/BF01053037},
  doi          = {10.1007/BF01053037},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/SetteC95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/Vakarelov95,
  author       = {Dimiter Vakarelov},
  title        = {A duality between Pawlak's knowledge representation systems and BI-consequence
                  systems},
  journal      = {Stud Logica},
  volume       = {55},
  number       = {1},
  pages        = {205--228},
  year         = {1995},
  url          = {https://doi.org/10.1007/BF01053038},
  doi          = {10.1007/BF01053038},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Vakarelov95.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.