0 | -- | 0 | Jean B. Nganou. MV-frames |
0 | -- | 0 | Theofanis Aravanis. Tailoring disjoint belief structures to the AGM framework |
0 | -- | 0 | Dag Normann, Sam Sanders. On some computational properties of open sets |
0 | -- | 0 | Sandro Preto, Marcelo Finger. Nash meets Łukasiewicz: computing equilibria through logic |
0 | -- | 0 | Birzhan S. Kalmurzayev, Nikolay Bazhenov 0001, Alibek M. Iskakov. m-reducibility |
0 | -- | 0 | Didier Galmiche, Brandon Hornbeck, Daniel Méry. Cut-free labelled calculi and decidability for intuitionistic sentential logic with identity |
0 | -- | 0 | Marcelo E. Coniglio, Martín Figallo, Abilio Rodrigues. Normalization and cut-elimination theorems for some logics of evidence and truth |
0 | -- | 0 | Quentin Gougeon. Computing most general unifiers in Euclidean modal logics |
0 | -- | 0 | Ruslan Enikeev. To the logical foundations of random number generator construction |
0 | -- | 0 | Supeng Wu, Xingliang Liang, Jiang Yang. α-state filters in state residuated lattices |
0 | -- | 0 | Ivan Chajda, Helmut Länger, Antonio Ledda, Jan Paseka, Gandolfo Vergottini. Tense logics based on posets |
0 | -- | 0 | Mikhail N. Rybakov, Dmitry Shkatov. Polytime embedding of intuitionistic modal logics into their one-variable fragments |
0 | -- | 0 | Václav Cenker, Ivan Chajda, Helmut Länger. The variety of complemented lattices where conjunction and implication form an adjoint pair |
0 | -- | 0 | . Correction to: Parameterized Complexity of Dynamic Belief Updates: A Complete Map |
0 | -- | 0 | Francesca Poggiolesi. (Conceptual) explanations in logic |