Afișare rezultate

SM ISO690:2012

Modal Logics of Partial Predicates without Monotonicity Restriction

Shkilniak Oksana

Taras Shevchenko National University of Kyiv

Workshop on Foundations of Informatics

I. 2015. Chișinău, Republica Moldova. ISBN 978-9975-4237-3-1.

Disponibil online 6 October, 2017. Descarcări-0. Vizualizări-576

-----------------------------------------------------------------------------------------------------------------------------------

Infinitely many precomplete with respect to parametric expressibility classes of formulas in a provability logic of propositions

Rusu Andrei12

1 Information Society Development Institute, 2 Ovidius University, Constanța

Analele Stiintifice ale Universitatii Ovidius Constanta, Seria Matematica

Nr. / 2014 / ISSN 1224-1784 /ISSNe 1844-0835

Disponibil online 28 February, 2024. Descarcări-0. Vizualizări-33

-----------------------------------------------------------------------------------------------------------------------------------

A criterion for parametrical completeness in the 8-valued algebraic model of modal logic S5

Cebotari Vadim

Institute of Mathematics and Computer Science ASM

Buletinul Academiei de Ştiinţe a Republicii Moldova. Matematica

Nr. 2(63) / 2010 / ISSN 1024-7696 /ISSNe 2587-4322

Disponibil online 7 December, 2013. Descarcări-6. Vizualizări-857

-----------------------------------------------------------------------------------------------------------------------------------

Infinitely many precomplete relative to parametric expressibility classes of formulas in a provability logic

Rusu Andrei

Information Society Development Institute

International Conference on Intelligent Information Systems

2013. Chișinău. .

Disponibil online 12 February, 2018. Descarcări-4. Vizualizări-685

-----------------------------------------------------------------------------------------------------------------------------------

Teaching English means of modality

Boico Dorina

University of European Studies of Moldova

Vector European

Nr. 3 / 2014 / ISSN 2345-1106 /ISSNe 2587-358X

Disponibil online 10 February, 2016. Descarcări-1. Vizualizări-604

-----------------------------------------------------------------------------------------------------------------------------------

10203040501005001000