Showing 1 - 2 results of 2 for search 'Julius Andrikonis', query time: 0.08s Refine Results
  1. 1
    Cut-elimination for knowledge logics with interaction
    by Julius Andrikonis
    Published 2008-12-01
    Get full text
    Article
  2. 2
    Contraction-free calculi for modal logics S5 and KD45
    Get full text
    Article
Search Tools: Get RSS Feed — Email this Search