4 found
Order:
  1.  18
    Dimitar P. Guelev, Catalin Dima & Constantin Enea (2011). An Alternating-Time Temporal Logic with Knowledge, Perfect Recall and Past: Axiomatisation and Model-Checking. Journal of Applied Non-Classical Logics 21 (1):93-131.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  2.  10
    Dimitar P. Guelev & Dang Van Hung (2004). A Relatively Complete Axiomatisation of Projection Onto State in the Duration Calculus. Journal of Applied Non-Classical Logics 14 (1-2):149-180.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  3.  11
    Dimitar P. Guelev (1999). A Propositional Dynamic Logic with Qualitative Probabilities. Journal of Philosophical Logic 28 (6):575-604.
    This paper presents an w-completeness theorem for a new propositional probabilistic logic, namely, the dynamic propositional logic of qualitative probabilities (DQP), which has been introduced by the author as a dynamic extension of the logic of qualitative probabilities (Q P) introduced by Segerberg.
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography  
  4.  10
    Dimitar P. Guelev (2004). Logical Interpolation and Projection Onto State in the Duration Calculus. Journal of Applied Non-Classical Logics 14 (1-2):181-208.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography