Výsledky vyhľadávania - "Shtakser, Gennady"

Propositional Epistemic Logics with Quantification Over Agents of Knowledge (An Alternative Approach)

Autori: Shtakser, Gennady

Zdroj: Studia Logica: An International Journal for Symbolic Logic, 2019 Aug 01. 107(4), 753-780.

Prístupová URL adresa: https://www.jstor.org/stable/45200701

Propositional Epistemic Logics with Quantification Over Agents of Knowledge

Autori: Shtakser, Gennady

Zdroj: Studia Logica: An International Journal for Symbolic Logic, 2018 Apr 01. 106(2), 311-344.

Prístupová URL adresa: https://www.jstor.org/stable/45096829

A Modal Two-Variable Fragment of Second-Order Propositional Modal Logic.

Autori: Shtakser, Gennady

Zdroj: Journal of Logic, Language & Information; Oct2025, Vol. 34 Issue 3/4, p241-272, 32p

Predmety: MODAL logic, PROPOSITION (Logic), SEMANTICS, NONCLASSICAL mathematical logic, DECIDABILITY (Mathematical logic), PREDICATE calculus

Tracks of Relations and Equivalences-based Reasoning

Autori: Shtakser, Gennady Leonenko, Leonid

Zdroj: Studia Logica: An International Journal for Symbolic Logic, 2011 Apr 01. 97(3), 385-413.

Prístupová URL adresa: https://www.jstor.org/stable/41475162

Epistemic Logics with Quantification Over Epistemic Operators: Decidability and Expressiveness

Autori: Shtakser, Gennady

Zdroj: Logica Universalis ; volume 17, issue 3, page 297-330 ; ISSN 1661-8297 1661-8300

Dostupnosť: http://dx.doi.org/10.1007/s11787-023-00330-2
https://link.springer.com/content/pdf/10.1007/s11787-023-00330-2.pdf
https://link.springer.com/article/10.1007/s11787-023-00330-2/fulltext.html

A Modal Loosely Guarded Fragment of Second-Order Propositional Modal Logic

Autori: Shtakser, Gennady

Zdroj: Journal of Logic, Language and Information ; volume 32, issue 3, page 511-538 ; ISSN 0925-8531 1572-9583

Dostupnosť: http://dx.doi.org/10.1007/s10849-022-09390-x
https://link.springer.com/content/pdf/10.1007/s10849-022-09390-x.pdf
https://link.springer.com/article/10.1007/s10849-022-09390-x/fulltext.html

A Modal Loosely Guarded Fragment of Second-Order Propositional Modal Logic.

Autori: Shtakser, Gennady

Zdroj: Journal of Logic, Language & Information; Aug2023, Vol. 32 Issue 3, p511-538, 28p

Predmety: PROPOSITION (Logic), MODAL logic, LOGIC

Propositional Epistemic Logics with Quantification Over Agents of Knowledge (An Alternative Approach)

Autori: Shtakser, Gennady

Zdroj: Studia Logica ; volume 107, issue 4, page 753-780 ; ISSN 0039-3215 1572-8730

Dostupnosť: https://doi.org/10.1007/s11225-018-9824-6
http://link.springer.com/content/pdf/10.1007/s11225-018-9824-6.pdf
http://link.springer.com/article/10.1007/s11225-018-9824-6/fulltext.html

Propositional Epistemic Logics with Quantification Over Agents of Knowledge

Autori: Shtakser, Gennady

Zdroj: Studia Logica ; volume 106, issue 2, page 311-344 ; ISSN 0039-3215 1572-8730

Dostupnosť: https://doi.org/10.1007/s11225-017-9741-0
http://link.springer.com/article/10.1007/s11225-017-9741-0/fulltext.html
http://link.springer.com/content/pdf/10.1007/s11225-017-9741-0.pdf