| Publication | Date of Publication | Type |
|---|
| Decidability of topological quasi-Boolean algebras | 2024-05-06 | Paper |
| Differential variable speed limit control strategy consider lane assignment at the freeway lane drop bottleneck | 2024-01-19 | Paper |
| Ortho-isomorphisms of Grassmann spaces in semifinite factors | 2023-10-31 | Paper |
| Modal logic of generalized separated topological spaces | 2023-08-17 | Paper |
| Sequent Calculi for Varieties of Topological Quasi-Boolean Algebras | 2023-06-28 | Paper |
| Decidability in Pre-rough Algebras: Extended Abstract | 2023-06-28 | Paper |
| Intuitionistic propositional logic with Galois negations | 2023-04-26 | Paper |
| Finite model property in weakly transitive tense logics | 2023-04-21 | Paper |
| Dynamic areas strategy design for variable speed limiting at fixed freeway bottlenecks | 2023-03-17 | Paper |
| A Weakening of Alpha Graphs: Quasi-Boolean Algebras | 2023-02-23 | Paper |
| Lp-isometries of Grassmann spaces in\\ factors of type II | 2022-10-24 | Paper |
| A proof-theoretic approach to negative translations in intuitionistic tense logics | 2022-10-04 | Paper |
| On arithmetic properties of Cantor sets | 2022-10-04 | Paper |
| Optimal control method of freeway based on tollbooths lane configuration and variable speed limit control | 2022-08-09 | Paper |
| Peirce's dragon-head logic (R 501, 1901) | 2022-04-20 | Paper |
| Lattices of finitely alternative normal tense logics | 2021-12-27 | Paper |
| Gentzen sequent calculi for some intuitionistic modal logics | 2021-12-03 | Paper |
| Residuated Algebraic Structures in the Vicinity of Pre-rough Algebra and Decidability | 2021-11-15 | Paper |
| Density waves in car-following model for autonomous vehicles with backward looking effect | 2021-11-11 | Paper |
| Belnap-Dunn modal logic with value operators | 2021-11-11 | Paper |
| On arithmetic properties of Cantor sets | 2021-11-09 | Paper |
| Polarity semantics for negation as a modal operator | 2021-05-11 | Paper |
| A paraconsistent conditional logic | 2021-05-06 | Paper |
| An improved car-following model accounting for the time-delayed velocity difference and backward looking effect | 2020-10-15 | Paper |
| PEIRCE’S CALCULI FOR CLASSICAL PROPOSITIONAL LOGIC | 2020-08-26 | Paper |
| Countably many weakenings of Belnap-Dunn logic | 2020-03-27 | Paper |
| DYNAMIC GRADED EPISTEMIC LOGIC | 2020-02-20 | Paper |
| Finite-Chain Graded Modal Logic | 2020-02-04 | Paper |
| Sequent calculi for normal update logics | 2020-01-14 | Paper |
| Labelled tableau systems for some subintuitionistic logics | 2019-11-07 | Paper |
| The influence of coupon duration on consumers' redemption behavior and brand profitability | 2019-10-17 | Paper |
| Sequent calculi for global modal consequence relations | 2019-09-03 | Paper |
| Peirce’s Sequent Proofs of Distributivity | 2019-07-24 | Paper |
| How to update neighbourhood models | 2019-07-10 | Paper |
| A deterministic weakening of Belnap-Dunn logic | 2019-06-19 | Paper |
| A three-valued Fregean quantification logic | 2019-06-17 | Paper |
| A new coordinated control method on the intersection of traffic region | 2019-02-19 | Paper |
| Unified correspondence as a proof-theoretic tool | 2019-01-31 | Paper |
| Let Us investigate! Dynamic conjecture-making as the formal logic of abduction | 2018-12-19 | Paper |
| Gamma graph calculi for modal logics | 2018-10-29 | Paper |
| Integrated variable speed limits control and ramp metering for bottleneck regions on freeway | 2018-08-27 | Paper |
| CTM based real-time queue length estimation at signalized intersection | 2018-08-27 | Paper |
| Sequent calculi for semi-De Morgan and De Morgan algebras | 2018-08-06 | Paper |
| Covering-based rough sets and modal logics. II. | 2018-06-15 | Paper |
| Labelled sequent calculus for inquisitive logic | 2017-11-22 | Paper |
| Proof analysis of Peirce's alpha system of graphs | 2017-07-19 | Paper |
| On Extensions of Basic Propositional Logic | 2017-06-09 | Paper |
| Unified correspondence and proof theory for strict implication | 2017-05-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2823682 | 2016-10-06 | Paper |
| Covering-based rough sets and modal logics. I. | 2016-09-09 | Paper |
| On the Complexity of the Equational Theory of Residuated Boolean Algebras | 2016-09-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2992694 | 2016-08-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2992720 | 2016-08-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2993554 | 2016-08-10 | Paper |
| Algebraic Semantics for Dynamic Dynamic Logic | 2015-12-17 | Paper |
| Alternative Semantics for Visser’s Propositional Logics | 2015-12-03 | Paper |
| Tableaux for Non-normal Public Announcement Logic | 2015-01-09 | Paper |
| Residuated Basic Logic I | 2014-02-23 | Paper |
| Residuated Basic Logic II. Interpolation, Decidability and Embedding | 2014-02-23 | Paper |
| Algebraic semantics and model completeness for intuitionistic public announcement logic | 2014-01-24 | Paper |
| How to Update Neighborhood Models | 2013-11-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2904062 | 2012-08-05 | Paper |
| Mathematics of Public Announcements | 2011-10-19 | Paper |
| Logics of Belief over Weighted Structures | 2011-10-19 | Paper |
| Algebraic Semantics and Model Completeness for Intuitionistic Public Announcement Logic | 2011-10-19 | Paper |
| A Modal Logic for Multiple-Source Tolerance Approximation Spaces | 2010-12-17 | Paper |
| Dynamic Epistemic Logic of Finite Identification | 2010-01-07 | Paper |
| Advanced Epidemic routing with low resource consumption in delay tolerant network | 2009-09-08 | Paper |
| Semiclassical analysis, geometric representation and quantum ergodicity | 0001-01-03 | Paper |
| Voiculescu's Theorem in Properly Infinite Factors | 0001-01-03 | Paper |
