default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal of Logic, Language and Information, Volume 34
Volume 34, Number 1-2, May 2025
- Jeff B. Paris
, Alena Vencovská:
On the Strongest Principles of Rational Belief Assignment. 1-26 - Vincenzo Crupi, Tiziano Dalmonte, Andrea Iacona:
Non-Monotonicity and Contraposition. 27-46 - Vincenzo Crupi, Tiziano Dalmonte, Andrea Iacona:
Correction: Non-Monotonicity and Contraposition. 47-48 - Paolo Liberatore:
One Head is Better than Two: A Polynomial Restriction for Propositional Definite Horn Forgetting. 49-88 - Tatevik Yolyan:
A Logical Characterization of Weak Determinism as Simultaneous Application. 89-153 - Marat Kh. Faizrahmanov:
A Family Whose Computable Numberings are All Complete. 155-167 - Pavel Naumov, Kevin Ros:
Comprehension and Knowledge. 169-196
Volume 34, Number 3-4, October 2025
- Isa Kerem Bayirli:
The Human Capacity for Measurement with a Unit. 197-217 - Travis LaCroix:
Information and Meaning in the Evolution of Compositional Signals. 219-239 - Gennady Shtakser:
A Modal Two-Variable Fragment of Second-Order Propositional Modal Logic. 241-272 - Mirjana Borisavljevic:
Sequent Images of Normal Derivations and Natural Deduction Images of Derivations without M-cuts. 273-317 - Zhuyu Li, Pavel Naumov:
Classical Implication for Three-Valued Logic. 319-340 - Mario Piazza, Matteo Tesi:
Exception and typicality, logically framed. 341-369 - Jan A. Bergstra, John V. Tucker:
Logical models of mathematical texts II: Legality conventions for division by zero in inconsistent contexts. 371-393
Volume 34, Number 5, December 2025
- Gabriele Usberti:
On the Vast Difference. 395-417 - Ivano Ciardelli:
Inquisitive Neighborhood Logic. 419-461 - Richard Moot:
Proof-Theoretic Aspects of the Logic of Scope. 463-514 - Christian Wurm:
The Family of Ambiguity Logics. 515-555 - Daniel Quigley:
A Vector Logic for Extensional Formal Semantics. 557-599 - Theofanis Aravanis:
Belief Structures in the Realm of Belief Contraction. 601-633 - Maxim Vishnikin, Alexander Okhotin:
On the expressive power of categorial grammars with unique category assignment. 635-664 - Léo Zaradzki:
On structural parallelism in formal music semantics. 665-692
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 2026-07-19 01:30 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, funded, and maintained by:
Schloss Dagstuhl - Leibniz Center for Informatics is a member of the Leibniz Association and is funded by the federal government of Germany and the states of Germany, especially Saarland and Rhineland‑Palatinate.
