default search action
Search dblp for Publications
export results for "toc:db/journals/sLogica/sLogica55.bht:"
@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} }
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.