Showing 1 - 4 results of 4 for search 'Jūratė Sakalauskaitė', query time: 0.02s Refine Results
  1. 1
    Partial cut elimination for propositional discrete linear time temporal logic

    Partial cut elimination for propositional discrete linear time temporal logic by Jūratė Sakalauskaitė

    Published 2010-12-01
    Get full text
    Article
  2. 2
    Prefixed tableaux for multi-modal logic of knowledge with inclusions

    Prefixed tableaux for multi-modal logic of knowledge with inclusions by Jūratė Sakalauskaitė

    Published 2003-12-01
    Get full text
    Article
  3. 3
    Partial cut elimination for combinations of propositional multi-modal logics with past time

    Partial cut elimination for combinations of propositional multi-modal logics with past time by Jūratė Sakalauskaitė

    Published 2011-12-01
    Get full text
    Article
  4. 4
    Sequent calculus for logic of correlated knowledge

    Sequent calculus for logic of correlated knowledge by Haroldas Giedra, Jūratė Sakalauskaitė

    Published 2011-12-01
    Get full text
    Article

Search Tools: