Title | Journal | Journal Categories | Citations | Publication Date |
---|---|---|---|---|
Propositional dynamic logic for searching games with errors | Journal of Applied Logic | 5 | 2014 | |
Extending Łukasiewicz Logics with a Modality: Algebraic Approach to Relational Semantics | Studia Logica |
| 21 | 2013 |
On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice | Journal of Logic and Computation |
| 61 | 2011 |
Bounded distributive lattice expansions | MATHEMATICA SCANDINAVICA |
| 60 | 2004 |
Simulating polyadic modal logics by monadic ones | The Journal of Symbolic Logic |
| 5 | 2003 |
Title | Journal | Journal Categories | Citations | Publication Date |
---|---|---|---|---|
Frame definability in finitely valued modal logics | Annals of Pure and Applied Logic |
| 2 | 2023 |
Category | Category Repetition |
---|---|
Technology: Technology (General): Industrial engineering. Management engineering: Applied mathematics. Quantitative methods | 1 |
Science: Mathematics | 1 |