Get started
Author

Stasys Norgėla

Observed names: S. A. Norgela, S. Norgela, S. Norgėla
Institution: Vilnius University
Observed institution: Vilnius University
OpenAlex ID: A5111314028
Untitled
2002 · S. Norgėla · Lithuanian Mathematical Journal · 3
Minus-normal sequential calculi
1977 · S. A. Norgela · Cybernetics and Systems Analysis · 3
Two decidable classes of formulas of the modal logic S5
2000 · S. Norgėla · Lithuanian Mathematical Journal · 1
Some decidable classes of formulas of pure hybrid logic
2007 · S. Norgėla, A. Šalaviejienė · Lithuanian Mathematical Journal
On temporal logic S4Dbr
2006 · S. Norgėla, L. Skripkauskas · Lithuanian Mathematical Journal
Path calculus in the modal logic S4
2005 · S. Norgėla · Lithuanian Mathematical Journal
The Resolution Method for One Reducible Class of Formulas of the First-Order Modal Logic S4
2004 · S. Norgela · Lithuanian Mathematical Journal
Untitled
2003 · S. Norgėla · Lithuanian Mathematical Journal
A resolution calculus for modal logic S4
2000 · Stasys Norgėla · Lietuvos matematikos rinkinys
Parallel deduction-search algorithm for the predicate logic formulas
1999 · Stasys Norgėla · Lietuvos matematikos rinkinys
Some decidable classes of modal logic S5
1999 · Stasys Norgėla · Lietuvos matematikos rinkinys
Herbrand strategies and the ?greater deducibility? relation
1981 · S. Yu. Maslov, S. A. Norgela · Journal of Mathematical Sciences
On the approximation of reduction classes of RPC by decidable classes
1980 · S. A. Norgela · Journal of Mathematical Sciences
Herbrand's strategies of deduction-search in predicate calculus. I
1979 · S. Norgela · Lithuanian Mathematical Journal
Herbrand deduction search strategies in predicate calculus. II
1979 · S. Norgėla · Lithuanian Mathematical Journal
Cut-type rules for calculi of general type
1977 · S. Yu. Maslov, S. A. Norgela · Journal of Mathematical Sciences
Works count: 16
Citation count: 7
H-index: 2
I10-index:
Year
Topic
Type