Aleksandr D. Yashin

Available identifiers

zbMath Open yashin.aleksandr-dMaRDI QIDQ721380

List of research outcomes

Publication	Date of Publication	Type
Irreflexive modality on a chain of type \(\omega\) and P. S. Novikov completeness	2021-05-20	Paper
Nikolai Nikolaevich Nepeivoda. To anniversary	2020-06-22	Paper
Dummett Logic, Irreflexive Modality and Novikov Completeness	2020-02-05	Paper
Irreflexive modality, the Dummett logic, and continual chains	2018-07-19	Paper
Irreflexive modality as a new logical connective in the Dummett logic	2014-11-04	Paper
New constants in the superintuitionistic logic L2	2014-03-26	Paper
New constants in two pretabular superintuitionistic logics	2012-12-17	Paper
Finite axiomatizability of local set theory	2012-03-13	Paper
Mathematical model of a state	2009-01-19	Paper
Branching-time type operators on finite pseudo-Boolean algebras	2008-12-18	Paper
https://portal.mardi4nfdi.de/entity/Q4664634	2005-04-08	Paper
https://portal.mardi4nfdi.de/entity/Q4451643	2004-02-29	Paper
Modified neighborhood semantics for Kaminski logic	2003-09-04	Paper
https://portal.mardi4nfdi.de/entity/Q4795515	2003-02-24	Paper
Irreflexive modality in the intuitionistic propositional logic and Novikov completeness	2002-01-06	Paper
https://portal.mardi4nfdi.de/entity/Q4761712	2001-02-21	Paper
New intuitionistic logical constants and Novikov completeness	2000-10-08	Paper
On an extension of Gabbay's logic	2000-04-13	Paper
New solutions to Novikov's problem for intuitionistic connectives	1999-06-21	Paper
On the number of new logical constants in intuitionistic propositional calculus	1999-03-15	Paper
Continuality of the family of complete Novikov logics with new monadic connective	1999-03-15	Paper
On the completeness of a new intuitionistic connective	1998-06-04	Paper
https://portal.mardi4nfdi.de/entity/Q4362935	1998-03-01	Paper
A new regular constant in intuitionistic propositional logic	1997-06-18	Paper
https://portal.mardi4nfdi.de/entity/Q5283966	1997-02-04	Paper
The Smetanich logic \(T^ \Phi\) and two definitions of a new intuitionistic connective	1996-01-08	Paper
Semantic characterization of certain sets of intuitionistic logical connectives	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4732441	1989-01-01	Paper
The semantic characterization of modal logical connectives	1986-01-01	Paper
Semantic characterization of intuitionistic logical connectives	1985-01-01	Paper
Completeness of intuitionistic predicate calculus with the concept of bar	1984-01-01	Paper
Nishimura formulas as one-place logical connectives in the elementary theory of Kripke models	1984-01-01	Paper
Intuitionistic logical connectives on linear structures	1984-01-01	Paper
Intuitionistic predicate logic with the connective tomorrow	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3956915	1982-01-01	Paper

Research outcomes over time

This page was built for person: Aleksandr D. Yashin