Showing 1 - 8 results of 8 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
    Resolution method for some class of formulas of modal logic S4

    Resolution method for some class of formulas of modal logic S4 by Stanislovas Norgėla

    Published 2004-12-01
    Get full text
    Article
    Save to List
    Saved in:
  4. 4
    Herbrand expansions of some formulas of modal logic S4

    Herbrand expansions of some formulas of modal logic S4 by Stanislovas Norgėla

    Published 2003-12-01
    Get full text
    Article
    Save to List
    Saved in:
  5. 5
    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:
  6. 6
    Inverse method for modal logic S4

    Inverse method for modal logic S4 by Adomas Birštunas, Stanislovas Norgėla

    Published 2003-12-01
    Get full text
    Article
    Save to List
    Saved in:
  7. 7
    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:
  8. 8
    Sequent calculus Sk4 for skolemized formulas

    Sequent calculus Sk4 for skolemized formulas by Andrejus Belovas, Stanislovas Norgėla

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

Search Tools: