Showing 1 - 2 results of 2 for search 'Jūratė Sakalauskaitė', query time: 0.01s Refine Results
  1. 1
    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
    Save to List
    Saved in:
  2. 2
    Tableaus for finitely-valued modal propositional logics

    Tableaus for finitely-valued modal propositional logics by Jūratė Sakalauskaitė

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

Search Tools: