Showing 1 - 4 results of 4 for search 'Stanislovas Norgėla', query time: 0.01s Refine Results
  1. 1
    Decidability of a monadic subclass of modal logic S4

    Decidability of a monadic subclass of modal logic S4 by Stanislovas Norgėla

    Published 2002-12-01
    Get full text
    Article
    Save to List
    Saved in:
  2. 2
    Some decidable classes of formulas of modal logic S4

    Some decidable classes of formulas of modal logic S4 by Stanislovas Norgėla

    Published 2001-12-01
    Get full text
    Article
    Save to List
    Saved in:
  3. 3
    Development of computer science studies at the Faculty of Mathematics and Informatics of the Vilnius University

    Development of computer science studies at the Faculty of Mathematics and Informatics of the Vilnius University by Stanislovas Norgėla

    Published 2001-12-01
    Get full text
    Article
    Save to List
    Saved in:
  4. 4
    Sequent calculus for hybrid logic

    Sequent calculus for hybrid logic by Stanislovas Norgėla, Anželika Šalaviejienė

    Published 2023-09-01
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: