Search dblp for Publications

• > Home > Search

@article{DBLP:journals/rml/AlbuquerqueFJ17,
  author       = {Hugo Albuquerque and
                  Josep Maria Font and
                  Ramon Jansana},
  title        = {Note of the Full Generalized Models of the Extensions of a Logic},
  journal      = {Reports Math. Log.},
  volume       = {52},
  pages        = {57--68},
  year         = {2017},
  url          = {https://rml.tcs.uj.edu.pl/rml-52/03-albuquerque.pdf},
  timestamp    = {Thu, 09 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/rml/AlbuquerqueFJ17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rml/Ilic17,
  author       = {Mirjana Ilic},
  title        = {A Natural Deduction and its Corresponding Sequent Calculus for Positive
                  Contraction-less Relevant Logic},
  journal      = {Reports Math. Log.},
  volume       = {52},
  pages        = {101--132},
  year         = {2017},
  url          = {https://rml.tcs.uj.edu.pl/rml-52/06-ilic.pdf},
  timestamp    = {Thu, 09 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/rml/Ilic17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rml/Kamide17,
  author       = {Norihiro Kamide},
  title        = {Paraconsistent sequential linear-time temporal logic: Combining paraconsistency
                  and sequentiality in temporal reasoning},
  journal      = {Reports Math. Log.},
  volume       = {52},
  pages        = {3--44},
  year         = {2017},
  url          = {https://rml.tcs.uj.edu.pl/rml-52/01-kamide.pdf},
  timestamp    = {Thu, 09 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/rml/Kamide17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rml/Karimi17,
  author       = {Ahmad Karimi},
  title        = {A Non-Self-Referential Paradox in Epistemic Game Theory},
  journal      = {Reports Math. Log.},
  volume       = {52},
  pages        = {45--56},
  year         = {2017},
  url          = {https://rml.tcs.uj.edu.pl/rml-52/02-karimi.pdf},
  timestamp    = {Thu, 09 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/rml/Karimi17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rml/Skura17,
  author       = {Tomasz F. Skura},
  title        = {Refutations in Wansing's Logic},
  journal      = {Reports Math. Log.},
  volume       = {52},
  pages        = {83--99},
  year         = {2017},
  url          = {https://rml.tcs.uj.edu.pl/rml-52/05-skura.pdf},
  timestamp    = {Thu, 09 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/rml/Skura17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rml/Voutsadakis17,
  author       = {George Voutsadakis},
  title        = {Categorical Abstract Algebraic Logic: W{\'{o}}jcicki's Conjecture
                  and Malinowski's Theorem},
  journal      = {Reports Math. Log.},
  volume       = {52},
  pages        = {69--82},
  year         = {2017},
  url          = {https://rml.tcs.uj.edu.pl/rml-52/04-voutsadakis.pdf},
  timestamp    = {Thu, 09 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/rml/Voutsadakis17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}