Journal: Journal of Logic, Language and Information

Volume 24, Issue 4

357 -- 359Jim Burton, Gem Stapleton. Special issue on Euler and Venn Diagrams: Guest Editors' introduction
361 -- 374Amirouche Moktefi, Ahti-Veikko Pietarinen. On the Diagrammatic Representation of Existential Statements with Venn Diagrams
375 -- 408François Schwarzentruber. Drawing Interactive Euler Diagrams from Region Connection Calculus Specifications
409 -- 455Yuri Sato, Koji Mineshima. How Diagrams Can Support Syllogistic Reasoning: An Experimental Study
457 -- 485Renata P. de Freitas, Petrucio Viana. Set Venn Diagrams Applied to Inclusions and Non-inclusions
487 -- 540Matej Urbas, Mateja Jamnik, Gem Stapleton. Speedith: A Reasoner for Spider Diagrams

Volume 24, Issue 3

233 -- 265Heather Burnett. Comparison Across Domains in Delineation Semantics
267 -- 288Anaïs Cadilhac, Nicholas Asher, Alex Lascarides, Farah Benamara. Preference Change
289 -- 305Arnaud Durand, Johannes Ebbing, Juha Kontinen, Heribert Vollmer. Dependence Logic with a Majority Quantifier
307 -- 322Martin Kaså. A Logic for Trial and Error Classifiers
323 -- 355Vít Puncochár. Weak Negation in Inquisitive Semantics

Volume 24, Issue 2

95 -- 129Paul J. E. Dekker. Not Only Barbara
131 -- 147Rohan French. A Sequent Calculus for Urn Logic
149 -- 191Antti Kuusisto. A Double Team Semantics for Generalized Quantifiers
193 -- 209Jaroslav Peregrin. Logic Reduced To Bare (Proof-Theoretical) Bones
211 -- 231Jeremy Lent, Richmond H. Thomason. Action Models for Conditionals

Volume 24, Issue 1

1 -- 26Pierre Bourreau. On the Effect of the IO-Substitution on the Parikh Image of Semilinear Full AFLs
27 -- 51John Cantwell. An Expressivist Bilateral Meaning-is-Use Analysis of Classical Propositional Logic
53 -- 64Eli Dresner. Proof Complexity and Textual Cohesion
65 -- 93Igor Yanovich. Expressive Power of "Now" and "Then" Operators