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 - Present
    (From September 22- in IPM-Isfahan Branch))

    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