Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal of Logic, Language and Information, Volume 24
Volume 24, Number 1, March 2015
- Pierre Bourreau:
On the Effect of the IO-Substitution on the Parikh Image of Semilinear Full AFLs. 1-26 - John Cantwell:
An Expressivist Bilateral Meaning-is-Use Analysis of Classical Propositional Logic. 27-51 - Eli Dresner:
Proof Complexity and Textual Cohesion. 53-64 - Igor Yanovich
:
Expressive Power of "Now" and "Then" Operators. 65-93
Volume 24, Number 2, June 2015
- Paul J. E. Dekker:
Not Only Barbara. 95-129 - Rohan French:
A Sequent Calculus for Urn Logic. 131-147 - Antti Kuusisto:
A Double Team Semantics for Generalized Quantifiers. 149-191 - Jaroslav Peregrin:
Logic Reduced To Bare (Proof-Theoretical) Bones. 193-209 - Jeremy Lent, Richmond H. Thomason:
Action Models for Conditionals. 211-231
Volume 24, Number 3, September 2015
- Heather Burnett:
Comparison Across Domains in Delineation Semantics. 233-265 - Anaïs Cadilhac, Nicholas Asher, Alex Lascarides, Farah Benamara:
Preference Change. 267-288 - Arnaud Durand, Johannes Ebbing, Juha Kontinen, Heribert Vollmer:
Dependence Logic with a Majority Quantifier. 289-305 - Martin Kaså:
A Logic for Trial and Error Classifiers. 307-322 - Vít Puncochár:
Weak Negation in Inquisitive Semantics. 323-355
Volume 24, Number 4, December 2015
- Jim Burton, Gem Stapleton:
Special issue on Euler and Venn Diagrams: Guest Editors' introduction. 357-359 - Amirouche Moktefi, Ahti-Veikko Pietarinen:
On the Diagrammatic Representation of Existential Statements with Venn Diagrams. 361-374 - François Schwarzentruber:
Drawing Interactive Euler Diagrams from Region Connection Calculus Specifications. 375-408 - Yuri Sato, Koji Mineshima:
How Diagrams Can Support Syllogistic Reasoning: An Experimental Study. 409-455 - Renata P. de Freitas, Petrucio Viana:
Set Venn Diagrams Applied to Inclusions and Non-inclusions. 457-485 - Matej Urbas, Mateja Jamnik, Gem Stapleton:
Speedith: A Reasoner for Spider Diagrams. 487-540
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 04:47 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
