Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/sLogica/Aarts94,
  author       = {Erik Aarts},
  title        = {Proving theorems of the second order Lambek calculus in polynominal
                  time},
  journal      = {Stud Logica},
  volume       = {53},
  number       = {3},
  pages        = {373--388},
  year         = {1994},
  url          = {https://doi.org/10.1007/BF01057934},
  doi          = {10.1007/BF01057934},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Aarts94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/AmatiP94,
  author       = {Giambattista Amati and
                  Fiora Pirri},
  title        = {A uniform tableau method for intuitionistic modal logics {I}},
  journal      = {Stud Logica},
  volume       = {53},
  number       = {1},
  pages        = {29--60},
  year         = {1994},
  url          = {https://doi.org/10.1007/BF01053021},
  doi          = {10.1007/BF01053021},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/AmatiP94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/Cerrato94,
  author       = {Claudio Cerrato},
  title        = {Decidability by Filtrations for graded normal logics (graded modalities
                  {V)}},
  journal      = {Stud Logica},
  volume       = {53},
  number       = {1},
  pages        = {61--74},
  year         = {1994},
  url          = {https://doi.org/10.1007/BF01053022},
  doi          = {10.1007/BF01053022},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Cerrato94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/CostaK94,
  author       = {Newton C. A. da Costa and
                  D{\'{e}}cio Krause},
  title        = {Schr{\"{o}}dinger logics},
  journal      = {Stud Logica},
  volume       = {53},
  number       = {4},
  pages        = {533--550},
  year         = {1994},
  url          = {https://doi.org/10.1007/BF01057649},
  doi          = {10.1007/BF01057649},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/CostaK94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/DeneckeH94,
  author       = {Klaus Denecke and
                  Katarzyna Halkowska},
  title        = {On P-compatible hybrid identities and hyperidentities},
  journal      = {Stud Logica},
  volume       = {53},
  number       = {4},
  pages        = {493--502},
  year         = {1994},
  url          = {https://doi.org/10.1007/BF01057647},
  doi          = {10.1007/BF01057647},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/DeneckeH94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/Freund94,
  author       = {Max A. Freund},
  title        = {The relative consistency of system RRC\({}^{\mbox{*}}\) and some of
                  its extensions},
  journal      = {Stud Logica},
  volume       = {53},
  number       = {3},
  pages        = {351--360},
  year         = {1994},
  url          = {https://doi.org/10.1007/BF01057932},
  doi          = {10.1007/BF01057932},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Freund94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/FreundL94,
  author       = {Michael Freund and
                  Daniel Lehmann},
  title        = {Nonmonotonic reasoning: from finitary relations to infinitary inference
                  operations},
  journal      = {Stud Logica},
  volume       = {53},
  number       = {2},
  pages        = {161--202},
  year         = {1994},
  url          = {https://doi.org/10.1007/BF01054708},
  doi          = {10.1007/BF01054708},
  timestamp    = {Wed, 22 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/FreundL94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/FuhrmannM94,
  author       = {Andr{\'{e}} Fuhrmann and
                  Edwin D. Mares},
  title        = {On {S}},
  journal      = {Stud Logica},
  volume       = {53},
  number       = {1},
  pages        = {75--92},
  year         = {1994},
  url          = {https://doi.org/10.1007/BF01053023},
  doi          = {10.1007/BF01053023},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/FuhrmannM94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/Galvan94,
  author       = {Sergio Galvan},
  title        = {A note an the \emph{omega}-incompleteness formalization},
  journal      = {Stud Logica},
  volume       = {53},
  number       = {3},
  pages        = {389--396},
  year         = {1994},
  url          = {https://doi.org/10.1007/BF01057935},
  doi          = {10.1007/BF01057935},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Galvan94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/Goranko94,
  author       = {Valentin Goranko},
  title        = {Refutation systems in modal logic},
  journal      = {Stud Logica},
  volume       = {53},
  number       = {2},
  pages        = {299--324},
  year         = {1994},
  url          = {https://doi.org/10.1007/BF01054714},
  doi          = {10.1007/BF01054714},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Goranko94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/Gore94,
  author       = {Rajeev Gor{\'{e}}},
  title        = {Cut-free sequent and tableau systems for propositional Diodorean modal
                  logics},
  journal      = {Stud Logica},
  volume       = {53},
  number       = {3},
  pages        = {433--458},
  year         = {1994},
  url          = {https://doi.org/10.1007/BF01057938},
  doi          = {10.1007/BF01057938},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Gore94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/Guzman94,
  author       = {Fernando Guzm{\'{a}}n},
  title        = {A Gentzen system for conditional logic},
  journal      = {Stud Logica},
  volume       = {53},
  number       = {2},
  pages        = {243--258},
  year         = {1994},
  url          = {https://doi.org/10.1007/BF01054712},
  doi          = {10.1007/BF01054712},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Guzman94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/Isles94,
  author       = {David Isles},
  title        = {A finite analog to the L{\"{o}}wenheim-Skolem theorem},
  journal      = {Stud Logica},
  volume       = {53},
  number       = {4},
  pages        = {503--532},
  year         = {1994},
  url          = {https://doi.org/10.1007/BF01057648},
  doi          = {10.1007/BF01057648},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Isles94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/Jonsson94,
  author       = {Bjarni J{\'{o}}nsson},
  title        = {On the canonicity of Sahlqvist identities},
  journal      = {Stud Logica},
  volume       = {53},
  number       = {4},
  pages        = {473--492},
  year         = {1994},
  url          = {https://doi.org/10.1007/BF01057646},
  doi          = {10.1007/BF01057646},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Jonsson94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/Kashima94,
  author       = {Ryo Kashima},
  title        = {Cut-free sequent calculi for some tense logics},
  journal      = {Stud Logica},
  volume       = {53},
  number       = {1},
  pages        = {119--136},
  year         = {1994},
  url          = {https://doi.org/10.1007/BF01053026},
  doi          = {10.1007/BF01053026},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Kashima94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/Komori94,
  author       = {Yuichi Komori},
  title        = {Syntactical investigations into {BI} logic and BB'I logic},
  journal      = {Stud Logica},
  volume       = {53},
  number       = {3},
  pages        = {397--416},
  year         = {1994},
  url          = {https://doi.org/10.1007/BF01057936},
  doi          = {10.1007/BF01057936},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Komori94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/LewinMS94,
  author       = {Renato A. Lewin and
                  Irene F. Mikenberg and
                  Mar{\'{\i}}a G. Schwarze},
  title        = {{P1} algebras},
  journal      = {Stud Logica},
  volume       = {53},
  number       = {1},
  pages        = {21--28},
  year         = {1994},
  url          = {https://doi.org/10.1007/BF01053020},
  doi          = {10.1007/BF01053020},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/LewinMS94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/MeyerO94,
  author       = {Robert K. Meyer and
                  Hiroakira Ono},
  title        = {The finite model property for {BCK} arid {BCIW}},
  journal      = {Stud Logica},
  volume       = {53},
  number       = {1},
  pages        = {107--118},
  year         = {1994},
  url          = {https://doi.org/10.1007/BF01053025},
  doi          = {10.1007/BF01053025},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/MeyerO94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/Nagayama94,
  author       = {Misao Nagayama},
  title        = {On a property of BCK-identities},
  journal      = {Stud Logica},
  volume       = {53},
  number       = {2},
  pages        = {227--234},
  year         = {1994},
  url          = {https://doi.org/10.1007/BF01054710},
  doi          = {10.1007/BF01054710},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Nagayama94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/NolaL94,
  author       = {Antonio Di Nola and
                  Ada Lettieri},
  title        = {Perfect MV-algebras are categorically equivalent to Abelian \emph{l}-grups},
  journal      = {Stud Logica},
  volume       = {53},
  number       = {3},
  pages        = {417--432},
  year         = {1994},
  url          = {https://doi.org/10.1007/BF01057937},
  doi          = {10.1007/BF01057937},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/NolaL94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/Palasinska94,
  author       = {Katarzyna Palasinska},
  title        = {Three-element nonfinitely axiomatizable matrices},
  journal      = {Stud Logica},
  volume       = {53},
  number       = {3},
  pages        = {361--372},
  year         = {1994},
  url          = {https://doi.org/10.1007/BF01057933},
  doi          = {10.1007/BF01057933},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Palasinska94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/Polacik94,
  author       = {Tomasz Polacik},
  title        = {Second order propositional operators over Cantor space},
  journal      = {Stud Logica},
  volume       = {53},
  number       = {1},
  pages        = {93--106},
  year         = {1994},
  url          = {https://doi.org/10.1007/BF01053024},
  doi          = {10.1007/BF01053024},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Polacik94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/Rasiowa94,
  author       = {Helena Rasiowa},
  title        = {Axiomatization and completeness of uncountably valued approximation
                  logic},
  journal      = {Stud Logica},
  volume       = {53},
  number       = {1},
  pages        = {137--160},
  year         = {1994},
  url          = {https://doi.org/10.1007/BF01053027},
  doi          = {10.1007/BF01053027},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Rasiowa94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/Rasiowa94a,
  author       = {Helena Rasiowa},
  title        = {In Memoriam Cecylia Rauszer},
  journal      = {Stud Logica},
  volume       = {53},
  number       = {4},
  pages        = {467--472},
  year         = {1994},
  url          = {https://doi.org/10.1007/BF01057645},
  doi          = {10.1007/BF01057645},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Rasiowa94a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/Rybakov94,
  author       = {Vladimir V. Rybakov},
  title        = {Criteria for admissibility of inference rules. Modal and intermediate
                  logics with the branching property},
  journal      = {Stud Logica},
  volume       = {53},
  number       = {2},
  pages        = {203--226},
  year         = {1994},
  url          = {https://doi.org/10.1007/BF01054709},
  doi          = {10.1007/BF01054709},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Rybakov94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/SalasT94,
  author       = {Antonio J. Rodr{\'{\i}}guez Salas and
                  Antoni Torrens},
  title        = {Wajsberg algebras and Post algebras},
  journal      = {Stud Logica},
  volume       = {53},
  number       = {1},
  pages        = {1--20},
  year         = {1994},
  url          = {https://doi.org/10.1007/BF01053019},
  doi          = {10.1007/BF01053019},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/SalasT94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/Tokarz94,
  author       = {Marek Tokarz},
  title        = {Non-axiomatizability of Grice's implicature},
  journal      = {Stud Logica},
  volume       = {53},
  number       = {2},
  pages        = {343--350},
  year         = {1994},
  url          = {https://doi.org/10.1007/BF01054716},
  doi          = {10.1007/BF01054716},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Tokarz94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/Urchs94,
  author       = {Max P. Urchs},
  title        = {On the logic of event-causation. Jaskowski-style systems causal logic},
  journal      = {Stud Logica},
  volume       = {53},
  number       = {4},
  pages        = {551--578},
  year         = {1994},
  url          = {https://doi.org/10.1007/BF01057650},
  doi          = {10.1007/BF01057650},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Urchs94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/Weaver94,
  author       = {George Weaver},
  title        = {Syntactic features and synonymy relations: a unified treatment of
                  some proofs of the compactness and interpolation theorems},
  journal      = {Stud Logica},
  volume       = {53},
  number       = {2},
  pages        = {325--342},
  year         = {1994},
  url          = {https://doi.org/10.1007/BF01054715},
  doi          = {10.1007/BF01054715},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Weaver94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/Wolter94,
  author       = {Frank Wolter},
  title        = {What is the upper part of the lattice of bimodal logics?},
  journal      = {Stud Logica},
  volume       = {53},
  number       = {2},
  pages        = {235--242},
  year         = {1994},
  url          = {https://doi.org/10.1007/BF01054711},
  doi          = {10.1007/BF01054711},
  timestamp    = {Sun, 17 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sLogica/Wolter94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/Xu94,
  author       = {Ming Xu},
  title        = {Decidability of \emph{Stit} theory with a single agent and \emph{Refref
                  Equivalence}},
  journal      = {Stud Logica},
  volume       = {53},
  number       = {2},
  pages        = {259--298},
  year         = {1994},
  url          = {https://doi.org/10.1007/BF01054713},
  doi          = {10.1007/BF01054713},
  timestamp    = {Thu, 21 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Xu94.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.