Showing 1 - 3 results of 3 for search 'Julius Andrikonis', query time: 0.02s Refine Results
  1. 1
    Cut-elimination for knowledge logics with interaction

    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

    Contraction-free calculi for modal logics S5 and KD45 by Julius Andrikonis, Regimantas Pliuškevičius

    Published 2011-12-01
    Get full text
    Article
  3. 3
    Cut elimination for knowledge logic with interaction

    Cut elimination for knowledge logic with interaction by Julius Andrikonis, Regimantas Pliuškevičius

    Published 2021-06-01
    Get full text
    Article

Search Tools: