Login / Signup
Gennady Shtakser
ORCID
Publication Activity (10 Years)
Years Active: 2011-2023
Publications (10 Years): 4
Top Topics
Incomplete Knowledge
Epistemic Logic
Coalition Logic
Prime Implicates
Top Venues
Stud Logica
Logica Universalis
J. Log. Lang. Inf.
</>
Publications
</>
Gennady Shtakser
A Modal Loosely Guarded Fragment of Second-Order Propositional Modal Logic.
J. Log. Lang. Inf.
32 (3) (2023)
Gennady Shtakser
Epistemic Logics with Quantification Over Epistemic Operators: Decidability and Expressiveness.
Logica Universalis
17 (3) (2023)
Gennady Shtakser
Propositional Epistemic Logics with Quantification Over Agents of Knowledge (An Alternative Approach).
Stud Logica
107 (4) (2019)
Gennady Shtakser
Propositional Epistemic Logics with Quantification Over Agents of Knowledge.
Stud Logica
106 (2) (2018)
Gennady Shtakser
,
Leonid Leonenko
Tracks of Relations and Equivalences-based Reasoning.
Stud Logica
97 (3) (2011)