Switch to: References

Add citations

You must login to add citations.
  1. PDL with intersection of programs: a complete axiomatization.Philippe Balbiani & Dimiter Vakarelov - 2003 - Journal of Applied Non-Classical Logics 13 (3-4):231-276.
    One of the important extensions of PDL is PDL with intersection of programs. We devote this paper to its complete axiomatization.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • (1 other version)Decidability: theorems and admissible rules.Vladimir Rybakov - 2008 - Journal of Applied Non-Classical Logics 18 (2-3):293-308.
    The paper deals with a temporal multi-agent logic TMAZ, which imitates taking of decisions based on agents' access to knowledge by their interaction. The interaction is modelled by possible communication channels between agents in special temporal Kripke/hintikka-like models. The logic TMAZ distinguishes local and global decisions-making. TMAZ is based on temporal Kripke/hintikka models with agents' accessibility relations defined on states of all possible time clusters C(i) (where indexes i range over all integer numbers Z). The main result provides a decision (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation