Journal: Journal of Logic and Computation

Volume 35, Issue 7

0 -- 0Jiachao Wu, Shuai Tang, Ning Zhou. A credulous semantics of higher-order argumentation frameworks based on credulously accepted attacks
0 -- 0Francesco Olivieri, Matteo Cristani, Guido Governatori, Luca Pasetto, Antonino Rotolo, Simone Scannapieco, Claudio Tomazzoli, Tewabe Chekole Workneh. Revising non-monotonic theories with sufficient and necessary conditions: the case of Defeasible Logic
0 -- 0Alexander Leitsch, Anela Lolic. Extracting Herbrand systems from refutation schemata
0 -- 0Ronald Fagin. Applying Theory to Practice
0 -- 0Yuta Sato. Uniform Lyndon interpolation for the pure logic of necessitation with a modal reduction principle
0 -- 0Guillermo Badia, Sasha Rubin. Editorial: special issue on the Australasian Logic Colloquium 2023
0 -- 0Xuefeng Wen. Conditionals and modals in contexts
0 -- 0Peter Fritz. Nonconservative extensions by propositional quantifiers and modal incompleteness
0 -- 0Can Baskent, David R. Gilbert, Giorgio Venturi. Logics of spatial isolation
0 -- 0David Makinson. Hamilton's cumular conception of quantifying particles: an exercise in third-order logic
0 -- 0C. Smorynski. Playwright Gerhard Gentzen
0 -- 0Francesco Olivieri. Dynamic superiorities in Defeasible Logic
0 -- 0Kexu Wang, Shiguang Feng, Xishun Zhao. The logics for the complexity classes with limited non-determinism
0 -- 0Yuri Gurevich. The umbilical cord of finite model theory
0 -- 0Jim de Groot, Ian Shillito. Intuitionistic S4 as a logic of topological spaces
0 -- 0Wilfrid Hodges. muttaṣil syllogisms
0 -- 0John L. Bell. A representation theory for modal distributive lattices
0 -- 0Thomas Macaulay Ferguson, Jitka Kadleciková. Care-theoretic semantics
0 -- 0David Billington. Principles of logics for plausible reasoning