Journal: Journal of Logic and Computation

Volume 31, Issue 8

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

Volume 31, Issue 7

1561 -- 1597James Hanson. Analog reducibility
1598 -- 1607Maciej Bendkowski. A note on the asymptotic expressiveness of ZF and ZFC
1608 -- 1639Matteo Tesi, Sara Negri. Neighbourhood semantics and labelled calculus for intuitionistic infinitary logic
1640 -- 1659Somayeh Chopoghloo, Morteza Moniri. A strongly complete axiomatization of intuitionistic temporal logic
1660 -- 1689Keng Meng Ng, Nazanin Roshandel Tavana, Yue Yang. A recursion theoretic foundation of computation over real numbers
1690 -- 1715Erich Grädel, Phil Pützstück. Logics of dependence and independence: The local variants
1716 -- 1739Sohei Iwata, Taishi Kurahashi. Topological semantics of conservativity and interpretability logics
1740 -- 1757Massimiliano Carrara, Wei Zhu. Computational Errors and Suspension in a PWK Epistemic Agent
1758 -- 1799Glenn Blanchette, Anthony Robins, Willem Labuschagne. Modelling supra-classical logic in a Boltzmann neural network: I representation
1800 -- 1819Yufeng Liu, Fan Yang. EGG+: A graph grammar formalism with uncertain structure processing mechanism
1820 -- 1844Vít Puncochár, Igor Sedlár. Epistemic extensions of substructural inquisitive logics
1845 -- 1867Pavel Naumov, Kevin Ros. Strategic coalitions in stochastic games
1868 -- 1890Antonio di Nola, Serafina Lapenta, Giacomo Lenzi. Dualities and algebraic geometry of Baire functions in non-classical logic
1891 -- 1900Nikolay Bazhenov, Luca San Mauro. On the Turing complexity of learning finite families of algebraic structures

Volume 31, Issue 6

1389 -- 0. Preface
1390 -- 1428Samson Abramsky, Nihil Shah. Relating structure and power: Comonadic semantics for computational resources
1429 -- 1481Jirí Adámek, Stefan Milius, Henning Urbat. On the behaviour of coalgebras with side effects and algebras with effectful iteration
1482 -- 1525Jurriaan Rot, Bart Jacobs 0001, Paul Blain Levy. Steps and traces
1526 -- 1559David Sprunger, Shin-ya Katsumata, Jérémy Dubut, Ichiro Hasuo. Fibrational bisimulations and quantitative reasoning: Extended version

Volume 31, Issue 5

1195 -- 1205Tim Lethen. A Talmudic norms approach to many-valued logic
1206 -- 1225Azza Gaysin. ℋ-Colouring Dichotomy in Proof Complexity
1226 -- 1265Francesc Esteva, Aldo Figallo Orellano, Tommaso Flaminio, Lluís Godo. Logics of formal inconsistency based on distributive involutive residuated lattices
1266 -- 1288Mikhail N. Rybakov, Dmitry Shkatov. Algorithmic properties of first-order modal logics of linear Kripke frames in restricted languages
1289 -- 1297Tejas Bhojraj. Notions of indifference for genericity: Union sets and subsequence sets
1298 -- 1316Hien D. Nguyen 0002, Chiaki Sakama, Taisuke Sato, Katsumi Inoue. An efficient reasoning method on logic programming using partial evaluation in vector spaces
1317 -- 1329Irakli O. Chitaia, Roland Sh. Omanadze, Andrea Sorbi. Notes on conjunctive and Quasi degrees
1330 -- 1355Stanislav O. Speranski. Negation as a modality in a quantified setting
1356 -- 1388Sihem Belabbes, Salem Benferhat, Jan Chomicki. Handling inconsistency in partially preordered ontologies: the Elect method

Volume 31, Issue 4

1023 -- 1025Fenrong Liu, Beishui Liao. Reasoning in social settings
1026 -- 1054Stef Frijters, Frederik Van De Putte. Classical term-modal logics
1055 -- 1078Erik Parmann, Thomas Ågotnes. Reasoning about strategic voting in modal logic quickly becomes undecidable
1079 -- 1101Chenwei Shi. No false grounds and topology of argumentation
1102 -- 1128Fengkui Ju, Karl Nygren, Tianwen Xu. Modeling legal conflict resolution based on dynamic logic
1129 -- 1157Umberto Grandi, Emiliano Lorini, Arianna Novaro, Laurent Perrussel. Games of influence
1158 -- 1193Huimin Dong. Logic of defeasible permission and its dynamics

Volume 31, Issue 3

701 -- 703. Preface
704 -- 770Bartosz Wieckowski. Intuitionistic multi-agent subatomic natural deduction for belief and knowledge
771 -- 796Camillo Fiorentini, Mauro Ferrari 0002. A forward internal calculus for model generation in S4
797 -- 831Roman Kuznets, Björn Lellmann. Interpolation for intermediate logics via injective nested sequents
832 -- 891Stéphane Demri, Raul Fervari, Alessio Mansutti. Internal proof calculi for modal logics with separating conjunction
892 -- 922Didier Galmiche, Daniel Méry. Labelled cyclic proofs for separation logic
923 -- 946Eugenio Orlandelli. Labelled calculi for quantified modal logics with definite descriptions
947 -- 997Marianna Girlando, Sara Negri, Nicola Olivetti. Uniform labelled calculi for preferential conditional logics based on neighbourhood semantics
998 -- 1022Sonia Marin, Marianela Morales, Lutz Straßburger. A fully labelled proof system for intuitionistic modal logics

Volume 31, Issue 2

393 -- 415M. Pourmahdian, R. Zoghifard. Probability logic: A model-theoretic perspective
416 -- 425M. Clarence Protin. Type inhabitation of atomic polymorphism is undecidable
426 -- 443Mikhail N. Rybakov, Dmitry Shkatov. Complexity of finite-variable fragments of products with K
444 -- 472Lázaro Alberto Larrauri. Probabilities of first-order sentences on sparse random relational structures: An application to definability on random CNF formulas
473 -- 493Steffen Lewitzka. Access-based intuitionistic knowledge
494 -- 522Mikhail N. Rybakov, Dmitry Shkatov. Algorithmic properties of first-order superintuitionistic logics of finite Kripke frames in restricted languages
523 -- 572Zhiguang Zhao. Algorithmic correspondence and canonicity for possibility semantics
573 -- 596Julia Ilin, Dick De Jongh, Fan Yang 0004. NNIL-formulas revisited: Universal models and finite model property
597 -- 611C. A. Middelburg. On the strongest three-valued paraconsistent logic contained in classical logic and its dual
612 -- 629Isaac Goldbring, Bradd Hart. Operator algebras with hyperarithmetic theory
630 -- 653Emanuele Frittaion, Michael Rathjen. Extensional realizability for intuitionistic set theory
654 -- 699Timotheus Kampik, Juan Carlos Nieves. Abstract argumentation and the rational man

Volume 31, Issue 1

1 -- 0Sergei N. Artëmov, Anil Nerode. Editorial
2 -- 19Nathanael L. Ackerman, Cameron E. Freer, Rehana Patel. On computable aspects of algebraic and definable closure
20 -- 39Juan P. Aguilera 0001, Robert S. Lubarsky. Feedback hyperjump
40 -- 66Matthias Baaz, Anela Lolic. Towards a proof theory for Henkin quantifiers
67 -- 111Tiziano Dalmonte, Björn Lellmann, Nicola Olivetti, Elaine Pimentel. Hypersequent calculi for non-normal modal and deontic logics: countermodels and optimal complexity
112 -- 151Yannick Forster 0002, Dominik Kirst, Dominik Wehr. Completeness theorems for first-order logic analysed in constructive type theory
152 -- 167Vladimir N. Krupski. On sharp and single-conclusion justification models
168 -- 178Hirohiko Kushida. Constructive truth and falsity in Peano arithmetic
179 -- 192Daniel Leivant. Finitism, imperative programs and primitive recursion
193 -- 212Yanhong A. Liu, Scott D. Stoller. Knowledge of uncertain worlds: programming with logical constraints
213 -- 265Tim Lyon. On the correspondence between nested calculi and semantic systems for intuitionistic logics
266 -- 296Yasir Mahmood 0002, Arne Meier, Johannes Schmidt 0001. Parameterized complexity of abduction in Schaefer's framework
297 -- 325Dag Normann, Sam Sanders. The Axiom of Choice in computability theory and Reverse Mathematics with a cameo for the Continuum Hypothesis
326 -- 346Diogo Poças, Jeffery I. Zucker. Tracking computability of GPAC-generable functions
347 -- 374Daniel Rogozin. Categorical and algebraic aspects of the intuitionistic modal logic IEL - and its predicate extensions
375 -- 392Dan E. Willard. About the characterization of a fine line that separates generalizations and boundary-case exceptions for the Second Incompleteness Theorem under semantic tableau deduction