Showing 1 - 8 results of 8 for search 'Stanislovas Norgėla', query time: 0.01s
Refine Results
-
1
Decidability of a monadic subclass of modal logic S4 by Stanislovas Norgėla
Published 2002-12-01
Article -
2
Some decidable classes of formulas of modal logic S4 by Stanislovas Norgėla
Published 2001-12-01
Article -
3
Resolution method for some class of formulas of modal logic S4 by Stanislovas Norgėla
Published 2004-12-01
Article -
4
Herbrand expansions of some formulas of modal logic S4 by Stanislovas Norgėla
Published 2003-12-01
Article -
5
-
6
Inverse method for modal logic S4 by Adomas Birštunas, Stanislovas Norgėla
Published 2003-12-01
Article -
7
Sequent calculus for hybrid logic by Stanislovas Norgėla, Anželika Šalaviejienė
Published 2023-09-01
Article -
8
Sequent calculus Sk4 for skolemized formulas by Andrejus Belovas, Stanislovas Norgėla
Published 2005-12-01
Article