BibTeX records: Mostafa Zaare

• > Home > Persons > Mostafa Zaare

@article{DBLP:journals/igpl/AbiriMZ19,
  author       = {Maryam Abiri and
                  Morteza Moniri and
                  Mostafa Zaare},
  title        = {Forcing and satisfaction in Kripke models of intuitionistic arithmetic},
  journal      = {Log. J. {IGPL}},
  volume       = {27},
  number       = {5},
  pages        = {659--670},
  year         = {2019},
  url          = {https://doi.org/10.1093/jigpal/jzy075},
  doi          = {10.1093/JIGPAL/JZY075},
  timestamp    = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/igpl/AbiriMZ19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/igpl/AbiriMZ18,
  author       = {Maryam Abiri and
                  Morteza Moniri and
                  Mostafa Zaare},
  title        = {From forcing to satisfaction in Kripke models of intuitionistic predicate
                  logic},
  journal      = {Log. J. {IGPL}},
  volume       = {26},
  number       = {5},
  pages        = {464--474},
  year         = {2018},
  url          = {https://doi.org/10.1093/jigpal/jzy007},
  doi          = {10.1093/JIGPAL/JZY007},
  timestamp    = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/igpl/AbiriMZ18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/igpl/Zaare17,
  author       = {Mostafa Zaare},
  title        = {Extensions of Kripke models},
  journal      = {Log. J. {IGPL}},
  volume       = {25},
  number       = {5},
  pages        = {697--699},
  year         = {2017},
  url          = {https://doi.org/10.1093/jigpal/jzx008},
  doi          = {10.1093/JIGPAL/JZX008},
  timestamp    = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/igpl/Zaare17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/MoniriZ11,
  author       = {Morteza Moniri and
                  Mostafa Zaare},
  title        = {Homomorphisms and chains of Kripke models},
  journal      = {Arch. Math. Log.},
  volume       = {50},
  number       = {3-4},
  pages        = {431--443},
  year         = {2011},
  url          = {https://doi.org/10.1007/s00153-010-0224-5},
  doi          = {10.1007/S00153-010-0224-5},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/MoniriZ11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/mlq/MoniriZ09,
  author       = {Morteza Moniri and
                  Mostafa Zaare},
  title        = {Preservation theorems for Kripke models},
  journal      = {Math. Log. Q.},
  volume       = {55},
  number       = {2},
  pages        = {177--184},
  year         = {2009},
  url          = {https://doi.org/10.1002/malq.200710085},
  doi          = {10.1002/MALQ.200710085},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mlq/MoniriZ09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}