5 found
Sort by:
  1. Dimitar P. Guelev (forthcoming). Interval-Related Interpolation in Interval Temporal Logics. Logic Journal of the Igpl.
    Direct download  
     
    My bibliography  
     
    Export citation  
  2. 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)  
     
    My bibliography  
     
    Export citation  
  3. 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)  
     
    My bibliography  
     
    Export citation  
  4. 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)  
     
    My bibliography  
     
    Export citation  
  5. 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)  
     
    My bibliography  
     
    Export citation