Skip to main navigation Skip to Content

IPM

  • Director's Message
  • About IPM
  • The Constitution of IPM
  • Contact US
  • فارسي
  • Home
  • People
    • Administrative Board
    • Founding Fellows of IPM
    • Scientific Council of IPM
    • Academic Staff
  • Schools
    • Astronomy
    • Biological Sciences
    • Cognitive Sciences
    • Computer Science
    • Mathematics
    • Nano Science
    • Particles and Accelerators
    • Philosophy
    • Physics
  • Centers and Units
    • Brain Engineering Center
    • Condensed Matter National Laboratory
    • Grid Computing Group
    • Iranian Light Source Facility
    • Iranian National Observatory
    • IRNIC
    • Library
    • Network Center
  • Publications
    • Akhbar
    • Papers
    • Books
    • Annual Report
  • Bulletin Board
  • Calendar
  • E - Catalog















Meghdad Ghari

  • “ Schools ”

    IPM
    • Astronomy
    • Biological Sciences
    • Cognitive Sciences
    • Computer Science
    • Mathematics
    • Nano-Science
    • Particles and Accelerators
    • Philosophy
    • Physics

    “ Centers and Units ”

    IPM
    • Brain Engineering Center
    • Condensed Matter National Laboratory
    • GCG Computing Group
    • Information Center
    • Iranian Light Source Facility
    • Iranian National Observatory
    • IRNIC
    • Library
    • Network Center

    “ Research Groups ”

    IPM
    • Bioinformatics
    • Combinatorics and Computing
    • Commutative Algebra
    • Logic
    • IPM HPC Laboratory

    “ Useful Links ”

    IPM
    • Gallery of Visitors
    • Contact Us
    • Gallery of Photos

    “ E-Services ”

    IPM
    • Webmail
    • Official Automation System
    • Library
    • Telephone Book

  • “Meghdad Ghari”
    Home Page:  sites.google.com/site/meghdadghari/
    Email: 
    ghari@ipm.ir, meghdadghari@gmail.com
     
     

    IPM Positions
    Post-Doctoral Research Fellow, School of Mathematics
    (2012 - 2017
    (From September 22, 2012 till June 21, 2017))

    Research Interests
    Justification logics, Modal logics, Epistemic logics, Structural proof theory.

    Related Papers
    1. M. Ghari (Joint with S. Bucheli and T. Studer)
    Temporal Justification Logic
    ( In: Electronic Proceedings in Theoretical Computer Science)
    [abstract]   
    2. M. Ghari
    Labeled sequent calculusfor justification logics
    Ann. Pure Appl. Logic 168 (2017), 72-111  [abstract]   
    3. M. Ghari
    Pavelka-style fuzzy justification logics
    Log. J. IGPL 24 (2016), 743-773  [abstract]   
    4. M. Ghari
    Distributed knowledge justification logics
    Theory Comput. Syst. 55 (2014), 1-40  [abstract]   
    [Back]   
footer
  • -IPM
  • -20 Years
  • -INO
  • -ILSF
  • -GCG
  • -Iranet
  • -LIBRARY
  • -NIC
  • -BIO
  • -CCG
  • -Logic
prev next

Exploring IPM

  • People
    • Administrative Board
    • Senior Fellows of IPM
    • Scientific Council of IPM
    • Academic Staff
  • Schools
    • Astronomy
    • Biolgical Sciences
    • Cognitive Sciences
    • Computer Science
    • Mathematics
    • Nano Science
    • Particles and Accelerators
    • Philosophy
    • Physics
  • Centers
    • Brain Engineering Center
    • Condensed Matter National Laboratory
    • Deputy for Research
    • Grid Computing Group
    • Information Center
    • Iranian Light Source Facility
    • Iranian National Observatory
    • IRNIC
    • Library
    • Network Center
  • Groups
    • Bioinformatics
    • Combinatorics and Computing
    • Logic
    • Commutative Algebra
    • IPM HPC Laboratory
  • E-Services
    • Library Catalog
    • Official Automation System
    • Official Automation System (dabir)
    • Telephone Book
    • Webmail
  • Publications
    • Akhbar
    • Papers
    • Books

 COPYRIGHT 2012 © ALL RIGHTS RESERVED

Please submit your comments or questions here, or contact Webmaster  |  ipmic@ipm.ir