Conferences in DBLP

(aiml)
2008 (conf/aiml/2008)

1. 
   Proof systems for the coalgebraic cover modality. [Citation Graph (, )][DBLP]
   
   
2. 
   Undecidability for arbitrary public announcement logic. [Citation Graph (, )][DBLP]
   
   
3. 
   Cut-elimination and proof-search for bi-intuitionistic logic using nested sequents. [Citation Graph (, )][DBLP]
   
   
4. 
   Valentini's cut-elimination for provability logic resolved. [Citation Graph (, )][DBLP]
   
   
5. 
   Labelled modal tableaux. [Citation Graph (, )][DBLP]
   
   
6. 
   Many-valued hybrid logic. [Citation Graph (, )][DBLP]
   
   
7. 
   Properties of logics of individual and group agency. [Citation Graph (, )][DBLP]
   
   
8. 
   Topology, connectedness, and modal logic. [Citation Graph (, )][DBLP]
   
   
9. 
   An interval logic for natural language semantics. [Citation Graph (, )][DBLP]
   
   
10. 
    Completeness of the finitary Moss logic. [Citation Graph (, )][DBLP]
    
    
11. 
    On axiomatising products of Kripke frames, part II. [Citation Graph (, )][DBLP]
    
    
12. 
    A modal perspective on monadic second-order alternation hierarchies. [Citation Graph (, )][DBLP]
    
    
13. 
    Modal logics for mereotopological relations. [Citation Graph (, )][DBLP]
    
    
14. 
    A Lindström characterisation of the guarded fragment and of modal logic with a global modality. [Citation Graph (, )][DBLP]
    
    
15. 
    PSPACE-decidability of Japaridze's polymodal logic. [Citation Graph (, )][DBLP]
    
    
16. 
    On the intermediate logic of open subsets of metric spaces. [Citation Graph (, )][DBLP]
    
    
17. 
    Locality and subsumption testing in EL and some of its extensions. [Citation Graph (, )][DBLP]
    
    
18. 
    A decision procedure for alternation-free modal µ-calculi. [Citation Graph (, )][DBLP]
    
    
19. 
    Modal logic of time division. [Citation Graph (, )][DBLP]
    
    
20. 
    Three 13th-century views of quantified modal logic. [Citation Graph (, )][DBLP]