Showing 1 - 3 results of 3 for search 'Regimantas Pliuškevičius', query time: 0.01s Refine Results
  1. 1
    Decision procedure for first-order linear temporal logic with semi-periodic kemels

    Decision procedure for first-order linear temporal logic with semi-periodic kemels by Regimantas Pliuškevičius

    Published 2002-12-01
    Get full text
    Article
    Save to List
    Saved in:
  2. 2
    Logic of knowledge with infinitely many agents

    Logic of knowledge with infinitely many agents by Regimantas Pliuškevičius

    Published 2023-09-01
    Get full text
    Article
    Save to List
    Saved in:
  3. 3
    On decidability of a fragment of intuitionistic predicate logic

    On decidability of a fragment of intuitionistic predicate logic by Jolanta Kaušilaitė, Regimantas Pliuškevičius

    Published 1999-12-01
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: