BibTeX records: Claudio Cerrato

• > Home > Persons > Claudio Cerrato

@article{DBLP:journals/mlq/Cerrato96,
  author       = {Claudio Cerrato},
  title        = {Modal Tree-Sequents},
  journal      = {Math. Log. Q.},
  volume       = {42},
  pages        = {197--210},
  year         = {1996},
  url          = {https://doi.org/10.1002/malq.19960420117},
  doi          = {10.1002/MALQ.19960420117},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mlq/Cerrato96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/Cerrato94,
  author       = {Claudio Cerrato},
  title        = {Natural Deduction Based upon Strict Implication for Normal Modal Logics},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {35},
  number       = {4},
  pages        = {471--495},
  year         = {1994},
  url          = {https://doi.org/10.1305/ndjfl/1040408608},
  doi          = {10.1305/NDJFL/1040408608},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Cerrato94.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/mlq/Cerrato93,
  author       = {Claudio Cerrato},
  title        = {Modal Sequents for Normal Modal Logics},
  journal      = {Math. Log. Q.},
  volume       = {39},
  pages        = {231--240},
  year         = {1993},
  url          = {https://doi.org/10.1002/malq.19930390127},
  doi          = {10.1002/MALQ.19930390127},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mlq/Cerrato93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/Cerrato93,
  author       = {Claudio Cerrato},
  title        = {Cut-free modal sequents for normal modal logics},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {34},
  number       = {4},
  pages        = {564--582},
  year         = {1993},
  url          = {https://doi.org/10.1305/ndjfl/1093633906},
  doi          = {10.1305/NDJFL/1093633906},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Cerrato93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/Cerrato90,
  author       = {Claudio Cerrato},
  title        = {General canonical models for graded normal logics (graded modalities
                  {IV)}},
  journal      = {Stud Logica},
  volume       = {49},
  number       = {2},
  pages        = {241--252},
  year         = {1990},
  url          = {https://doi.org/10.1007/BF00935601},
  doi          = {10.1007/BF00935601},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Cerrato90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/Fattorosi-Barnaba88,
  author       = {Maurizio Fattorosi{-}Barnaba and
                  Claudio Cerrato},
  title        = {Graded modalities. {III} (the completeness and compactness of {S40)}},
  journal      = {Stud Logica},
  volume       = {47},
  number       = {2},
  pages        = {99--110},
  year         = {1988},
  url          = {https://doi.org/10.1007/BF00370285},
  doi          = {10.1007/BF00370285},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Fattorosi-Barnaba88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}