On superintuitionistic logics as fragments of proof logic extensions. - A. V. Kuznetsov; Alexei Yu. Muravitsky (Stud Logica, 1986)

A knowledge representation based on the Belnap's four-valued logic. - Yuri Kaluzhny; Alexei Yu. Muravitsky (J. Appl. Non Class. Logics, 1993)

A Framework for Knowledge-Based Systems. - Alexei Yu. Muravitsky (J. Appl. Non Class. Logics, 1996)

Knowledge Representation as Domains. - Alexei Yu. Muravitsky (J. Appl. Non Class. Logics, 1997)

The Embedding Theorem: Its Further Developments and Consequences. Part 1. - Alexei Y. Muravitsky (Notre Dame J. Formal Log., 2006)

Satisfaction and Friendliness Relations within Classical Logic: Proof-Theoretic Approach. - Alexei Y. Muravitsky (TbiLLC, 2007)

Information Systems via Epistemic States. - Alexei Y. Muravitsky (SCSS (1), 2008)

A New Foundation For Knowledge Systems. - Alexei Y. Muravitsky (Comput. Sci. J. Moldova, 2011)

On modal components of the S4-logics. - Alexei Y. Muravitsky (TACL, 2013)

Beyond Rasiowan Systems: Unital Deductive Systems. - Alexei Y. Muravitsky (Logica Universalis, 2014)

Domains as Models for Semantic Information. - Alexei Y. Muravitsky (Fundam. Informaticae, 2015)

Interconnection of the Lattices of Extensions of Four Logics. - Alexei Y. Muravitsky (Logica Universalis, 2017)

On Nonmonotonic Consequence Relations. - Alexei Y. Muravitsky (Logica Universalis, 2021)

Preface to the Rejection Special Issue. - Alex Citkin; Alexei Y. Muravitsky (Logica Universalis, 2023)

On Consequence and Rejection as Operators. - Alexei Y. Muravitsky (Logica Universalis, 2023)

Rejection: A Historico-Epistemological View. - Alexei Y. Muravitsky (Logica Universalis, 2023)