4 found
Order:
  1.  2
    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  
  2.  7
    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  
  3.  3
    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.  2
    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