Showing 1 - 5 results of 5 for search 'Regimantas Pliuškevičius', query time: 0.01s Refine Results
  1. 1
    Decision procedures for quantified fragments of reflexive common knowledge logic

    Decision procedures for quantified fragments of reflexive common knowledge logic by Regimantas Pliuškevičius

    Published 2004-12-01
    Get full text
    Article
    Save to List
    Saved in:
  2. 2
    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:
  3. 3
    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:
  4. 4
    Combination of temporal logic with modal logic KD

    Combination of temporal logic with modal logic KD by Regimantas Pliuškevičius

    Published 2003-12-01
    Get full text
    Article
    Save to List
    Saved in:
  5. 5
    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: