Get started
Author

Stanislovas Norgėla

Institution: Vilnius University
Observed institution: Vilnius University
OpenAlex ID: A5111049759
On decidability of pure hybrid logic
2012 · Stanislovas Norgėla · Lietuvos matematikos rinkinys · 1
Applications of Finite Linear Temporal Logic to Piecewise Linear Aggregates
2012 · Henrikas Pranevicius, Stanislovas Norgėla · Informatica · 1
PDF
Sequent calculus for hybrid logic
2023 · Stanislovas Norgėla, Anželika Šalaviejienė · Lietuvos matematikos rinkinys
PDF
Normal form of formulas of pure hybrid logic
2021 · Daiva Aleknavičiūtė, Stanislovas Norgėla · Lietuvos matematikos rinkinys
Resolution for hybrid logics
2011 · Stanislovas Norgėla · Lietuvos matematikos rinkinys
Transformations of formulae of hybrid logic
2010 · Stanislovas Norgėla, Linas Petrauskas · Lietuvos matematikos rinkinys
Proof-search in hybrid logic
2008 · Daiva Aleknavičiūtė, Stanislovas Norgėla · Lietuvos matematikos rinkinys
Sequent calculus Sk4 for skolemized formulas
2005 · Andrejus Belovas, Stanislovas Norgėla · Lietuvos matematikos rinkinys
PDF
Resolution method for some class of formulas of modal logic S4
2004 · Stanislovas Norgėla · Lietuvos matematikos rinkinys
Inverse method for modal logic S4
2003 · Adomas Birštunas, Stanislovas Norgėla · Lietuvos matematikos rinkinys
Herbrand expansions of some formulas of modal logic S4
2003 · Stanislovas Norgėla · Lietuvos matematikos rinkinys
Decidability of a monadic subclass of modal logic S4
2002 · Stanislovas Norgėla · Lietuvos matematikos rinkinys
Development of computer science studies at the Faculty of Mathematics and Informatics of the Vilnius University
2001 · Stanislovas Norgėla · Lietuvos matematikos rinkinys
Some decidable classes of formulas of modal logic S4
2001 · Stanislovas Norgėla · Lietuvos matematikos rinkinys
An expert system for injured vital energy channels diagnosing
1990 · Romas Baronas, Valdas Dičiūnas, et al.
Works count: 15
Citation count: 2
H-index: 1
I10-index:
Year
Topic
Type