Notice: Unexpected clearActionName after getActionName already called in /var/www/html/w/includes/context/RequestContext.php on line 333
Dimiter Vakarelov - MaRDI portal

Dimiter Vakarelov

From MaRDI portal
(Redirected from Person:321257)
Person:454384

Available identifiers

zbMath Open vakarelov.dimiterDBLP08/5680WikidataQ102260719 ScholiaQ102260719MaRDI QIDQ454384

List of research outcomes





PublicationDate of PublicationType
Modal syllogistic2024-09-06Paper
https://portal.mardi4nfdi.de/entity/Q58831922023-03-29Paper
https://portal.mardi4nfdi.de/entity/Q58697272022-09-28Paper
Actual Existence Predicate in Mereology and Mereotopology (Extended Abstract)2022-06-15Paper
Dynamic Contact Algebras with a Predicate of Actual Existence: Snapshot Representation and Topological Duality2022-02-04Paper
On the investigations of Ivan Prodanov in the theory of abstract spectra2021-06-16Paper
Point-free theories of space and time2020-04-28Paper
Geometrical structures and modal logic2019-04-29Paper
A mereotopology based on sequent algebras2018-09-12Paper
Mereotopologies with Predicates of Actual Existence and Actual Contact2018-03-02Paper
A generalization of the Stone duality theorem2017-08-30Paper
Dynamic mereotopology. III: Whiteheadian type of integrated point-free theories of space and time. III2017-07-18Paper
Topological representation of precontact algebras and a connected version of the Stone duality theorem. I.2017-07-13Paper
Distributive mereotopology: extended distributive contact lattices2017-01-27Paper
Dynamic mereotopology. III: Whiteheadian type of integrated point-free theories of space and time. II2016-10-13Paper
Dynamic mereotopology. III: Whiteheadean type of integrated point-free theories of space and time. I2015-05-11Paper
https://portal.mardi4nfdi.de/entity/Q54198992014-06-11Paper
Dynamic modalities2012-10-01Paper
https://portal.mardi4nfdi.de/entity/Q29040672012-08-05Paper
https://portal.mardi4nfdi.de/entity/Q30851702011-03-30Paper
Algorithmic correspondence and completeness in modal logic. V. Recursive extensions of SQEMA2011-03-22Paper
Dynamic Mereotopology: A Point-free Theory of Changing Regions. I. Stable and unstable mereotopological relations2011-01-03Paper
Dynamic logics of the region-based theory of discrete spaces2009-11-30Paper
A Proximity Approach to Some Region-Based Theories of Space2009-11-30Paper
PDL with intersection of programs: a complete axiomatization2009-11-11Paper
https://portal.mardi4nfdi.de/entity/Q53245842009-08-03Paper
A modal approach to dynamic ontology: modal mereotopology2008-11-10Paper
https://portal.mardi4nfdi.de/entity/Q35075542008-06-20Paper
Distributive contact lattices: topological representations2008-06-19Paper
Topological Representation of Contact Lattices2008-04-24Paper
https://portal.mardi4nfdi.de/entity/Q54451582008-03-03Paper
Region-based theory of discrete spaces: A proximity approach2007-10-12Paper
Algorithmic correspondence and completeness in modal logic. I. The core algorithm SQEMA2007-10-11Paper
https://portal.mardi4nfdi.de/entity/Q34472022007-06-28Paper
Relational Methods in Computer Science2007-05-02Paper
Relational Methods in Computer Science2007-05-02Paper
Algorithmic Correspondence and Completeness in Modal Logic. II. Polyadic and Hybrid Extensions of the Algorithm SQEMA2007-04-13Paper
https://portal.mardi4nfdi.de/entity/Q34255702007-02-26Paper
Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation2007-02-13Paper
https://portal.mardi4nfdi.de/entity/Q34160802007-01-19Paper
https://portal.mardi4nfdi.de/entity/Q34160812007-01-19Paper
Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing2006-11-01Paper
Elementary canonical formulae: extending Sahlqvist's theorem2006-08-16Paper
https://portal.mardi4nfdi.de/entity/Q54833032006-08-16Paper
https://portal.mardi4nfdi.de/entity/Q54830002006-08-15Paper
Nelson's negation on the base of weaker versions of intuitionistic negation2006-01-30Paper
Relational and Kleene-Algebraic Methods in Computer Science2005-12-23Paper
https://portal.mardi4nfdi.de/entity/Q53110522005-08-22Paper
https://portal.mardi4nfdi.de/entity/Q48225782004-10-25Paper
Dynamic extensions of arrow logic2004-08-06Paper
https://portal.mardi4nfdi.de/entity/Q44304012003-10-09Paper
https://portal.mardi4nfdi.de/entity/Q31483292003-07-25Paper
Hyperboolean Algebras and Hyperboolean Modal Logic2003-01-30Paper
https://portal.mardi4nfdi.de/entity/Q47848842002-12-12Paper
https://portal.mardi4nfdi.de/entity/Q43292402002-12-11Paper
Sahlqvist Formulas in Hybrid Polyadic Modal Logics2002-02-19Paper
https://portal.mardi4nfdi.de/entity/Q27113232001-11-07Paper
https://portal.mardi4nfdi.de/entity/Q44890762001-03-07Paper
Rough polyadic modal logics1999-06-21Paper
https://portal.mardi4nfdi.de/entity/Q43949211999-06-07Paper
https://portal.mardi4nfdi.de/entity/Q42443181999-05-30Paper
https://portal.mardi4nfdi.de/entity/Q42156081999-02-22Paper
https://portal.mardi4nfdi.de/entity/Q43817131999-02-04Paper
https://portal.mardi4nfdi.de/entity/Q38383761999-01-04Paper
https://portal.mardi4nfdi.de/entity/Q43956301998-10-06Paper
Many-dimensional arrow logics1998-04-15Paper
https://portal.mardi4nfdi.de/entity/Q43492851997-11-05Paper
Modal logics for incidence geometries1997-08-19Paper
A duality between Pawlak's knowledge representation systems and bi-consequence systems1996-05-28Paper
https://portal.mardi4nfdi.de/entity/Q46942561993-06-29Paper
https://portal.mardi4nfdi.de/entity/Q40296121993-03-28Paper
A modal logic for cyclic repeating1993-01-17Paper
https://portal.mardi4nfdi.de/entity/Q40180761993-01-16Paper
Modal logics for knowledge representation systems1992-06-28Paper
https://portal.mardi4nfdi.de/entity/Q39820601992-06-26Paper
Intuitive semantics for some three-valued logics connected with information, contrariety and subcontrariety1989-01-01Paper
https://portal.mardi4nfdi.de/entity/Q30337391989-01-01Paper
https://portal.mardi4nfdi.de/entity/Q47297571989-01-01Paper
An application of Rieger-Nishimura formulas to the intuitionistic modal logics1985-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37356911985-01-01Paper
https://portal.mardi4nfdi.de/entity/Q36841061984-01-01Paper
https://portal.mardi4nfdi.de/entity/Q33181001983-01-01Paper
Intuitionistic modal logics incompatible with the law of the excluded middle1981-01-01Paper
Notes on \(\eta\)-lattices and constructive logic with strong negation1977-01-01Paper
Lattices related to Post algebras and their applications to some logical systems1977-01-01Paper
https://portal.mardi4nfdi.de/entity/Q40536121974-01-01Paper
https://portal.mardi4nfdi.de/entity/Q40536501974-01-01Paper
https://portal.mardi4nfdi.de/entity/Q40560001974-01-01Paper
https://portal.mardi4nfdi.de/entity/Q56595091972-01-01Paper
https://portal.mardi4nfdi.de/entity/Q56398871971-01-01Paper
https://portal.mardi4nfdi.de/entity/Q56108361970-01-01Paper
https://portal.mardi4nfdi.de/entity/Q55942681969-01-01Paper
https://portal.mardi4nfdi.de/entity/Q55795381968-01-01Paper
https://portal.mardi4nfdi.de/entity/Q56072141968-01-01Paper
https://portal.mardi4nfdi.de/entity/Q56595151968-01-01Paper

Research outcomes over time

This page was built for person: Dimiter Vakarelov