Journal: Journal of Logic and Computation

Volume 35, Issue 4

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