1901 | -- | 1902 | Huimin Dong, Jun Pang 0001, Yì N. Wáng. Preface of the special issue'Logic, argumentation and AI' in JLC |
1903 | -- | 1932 | Jan Gorzny, Ezequiel Postan, Bruno Woltzenlogel Paleo. Lifting propositional proof compression algorithms to first-order logic |
1933 | -- | 1958 | Takahiro Sawasaki, Katsuhiko Sano. Frame definability, canonicity and cut elimination in common sense modal predicate logics |
1959 | -- | 1978 | Thomas Ågotnes, Yì N. Wáng. Group belief |
1979 | -- | 2003 | Liping Tang. Ambiguity and context learning in signalling games |
2004 | -- | 2027 | Yì N. Wáng, Xu Li. A logic of knowledge based on abstract arguments |
2028 | -- | 2056 | Nicos Isaak, Loizos Michael. Experience and prediction: a metric of hardness for a novel litmus test |
2057 | -- | 2083 | Stanislaw J. Purgal, Julian Parsert, Cezary Kaliszyk. A study of continuous vector representations for theorem proving |
2084 | -- | 2106 | Michael Baur, Thomas Studer. Semirings of Evidence |
2107 | -- | 2132 | Ming Hsiung. Solovay functions and paradoxes |
2133 | -- | 2158 | Weiwei Chen. Guaranteeing Admissibility of Abstract Argumentation Frameworks with Rationality and Feasibility Constraints |
2159 | -- | 2188 | Ivo Düntsch, Wojciech Dzik. Ideal related algebras and their logics |
2189 | -- | 2217 | Sejla Dautovic, Dragan Doder, Zoran Ognjanovic. Logics for reasoning about degrees of confirmation |
2218 | -- | 2239 | Marcos Cramer. Paracomplete truth theory with KFS-definable determinateness |
2240 | -- | 2269 | Mina Young Pedersen, Sonja Smets, Thomas Ågotnes. Modal Logics and Group Polarization |