Works matching IS 0955792X AND DT 2025 AND VI 35 AND IP 4

Results: 30

Expression of Concern: The mathematics of Epstein semantics Free.

Published in:: Journal of Logic & Computation, 2025, v. 35, n. 4, p. 1, doi. 10.1093/logcom/exaf035
Publication type:: Article

Gates and circuits via Dunn semantics Open Access.

Published in:

Journal of Logic & Computation, 2025, v. 35, n. 4, p. 1, doi. 10.1093/logcom/exaf033

By:

Cano-Jorge, Fernando

Publication type:

Article

A formal framework for reasoning about agents' independence in self-organizing multi-agent systems.

Published in:

Journal of Logic & Computation, 2025, v. 35, n. 4, p. 1, doi. 10.1093/logcom/exaf032

By:

Luo, Jieting;
Liao, Beishui;
Meyer, John-Jules

Publication type:

Article

Schwichtenberg's style analysis of parameter-free fragments of Girard's System F.

Published in:

Journal of Logic & Computation, 2025, v. 35, n. 4, p. 1, doi. 10.1093/logcom/exaf031

By:

Akiyoshi, Ryota

Publication type:

Article

Relational models for the Lambek calculus with local contraction subexponentials.

Published in:

Journal of Logic & Computation, 2025, v. 35, n. 4, p. 1, doi. 10.1093/logcom/exaf030

By:

Valinkin, Mikhail;
Kuznetsov, Stepan L

Publication type:

Article

On an inferential semantics for intuitionistic sentential logic Open Access.

Published in:

Journal of Logic & Computation, 2025, v. 35, n. 4, p. 1, doi. 10.1093/logcom/exaf029

By:

Gheorghiu, Alexander V

Publication type:

Article

A categorical analysis of compatibility frames.

Published in:

Journal of Logic & Computation, 2025, v. 35, n. 4, p. 1, doi. 10.1093/logcom/exaf027

By:

Kumar, Arun;
Gaur, Neha;
Dewan, Bisham

Publication type:

Article

C-systems of da Costa and Aristotle's theses.

Published in:

Journal of Logic & Computation, 2025, v. 35, n. 4, p. 1, doi. 10.1093/logcom/exaf026

By:

Ciuciura, Janusz

Publication type:

Article

Characterizations of two basic hybrid logics Open Access.

Published in:

Journal of Logic & Computation, 2025, v. 35, n. 4, p. 1, doi. 10.1093/logcom/exaf025

By:

Hodkinson, Ian

Publication type:

Article

The variety of complemented lattices where conjunction and implication form an adjoint pair Open Access.

Published in:

Journal of Logic & Computation, 2025, v. 35, n. 4, p. 1, doi. 10.1093/logcom/exaf024

By:

Cenker, Václav;
Chajda, Ivan;
LÄnger, Helmut

Publication type:

Article

Herbrand schemes for cyclic proofs Open Access.

Published in:

Journal of Logic & Computation, 2025, v. 35, n. 4, p. 1, doi. 10.1093/logcom/exaf013

By:

Afshari, Bahareh;
Enqvist, Sebastian;
Leigh, Graham E

Publication type:

Article

Fuzzy labelling semantics for quantitative argumentation.

Published in:

Journal of Logic & Computation, 2025, v. 35, n. 4, p. 1, doi. 10.1093/logcom/exaf009

By:

Wang, Zongshun;
Shen, Yuping

Publication type:

Article

Tailoring explanations through conversation.

Published in:

Journal of Logic & Computation, 2025, v. 35, n. 4, p. 1, doi. 10.1093/logcom/exaf008

By:

Luo, Jieting;
Studer, Thomas;
Dastani, Mehdi

Publication type:

Article

Weakest link, prioritized default logic and principles in argumentation.

Published in:

Journal of Logic & Computation, 2025, v. 35, n. 4, p. 1, doi. 10.1093/logcom/exaf007

By:

Pardo, Pere;
Yu, Liuwen;
Chen, Chen;
van der Torre, Leendert

Publication type:

Article

Solving quantified modal logic problems by translation to classical logics.

Published in:

Journal of Logic & Computation, 2025, v. 35, n. 4, p. 1, doi. 10.1093/logcom/exaf006

By:

Steen, Alexander;
Sutcliffe, Geoff;
BenzmÜller, Christoph

Publication type:

Article

Preface: Special issue on logic and argumentation.

Published in:

Journal of Logic & Computation, 2025, v. 35, n. 4, p. 1, doi. 10.1093/logcom/exaf005

By:

Herzig, Andreas;
Luo, Jieting;
Pardo, Pere

Publication type:

Article

Computing most general unifiers in Euclidean modal logics.

Published in:

Journal of Logic & Computation, 2025, v. 35, n. 4, p. 1, doi. 10.1093/logcom/exae084

By:

Gougeon, Quentin

Publication type:

Article

Tense logics based on posets.

Published in:

Journal of Logic & Computation, 2025, v. 35, n. 4, p. 1, doi. 10.1093/logcom/exae081

By:

Chajda, Ivan;
LÄnger, Helmut;
Ledda, Antonio;
Paseka, Jan;
Vergottini, Gandolfo

Publication type:

Article

Tailoring disjoint belief structures to the AGM framework.

Published in:

Journal of Logic & Computation, 2025, v. 35, n. 4, p. 1, doi. 10.1093/logcom/exae080

By:

Aravanis, Theofanis

Publication type:

Article

Normalization and cut-elimination theorems for some logics of evidence and truth.

Published in:

Journal of Logic & Computation, 2025, v. 35, n. 4, p. 1, doi. 10.1093/logcom/exae079

By:

Coniglio, Marcelo E;
Figallo, Martín;
Rodrigues, Abilio

Publication type:

Article

On α-state filters in state residuated lattices.

Published in:

Journal of Logic & Computation, 2025, v. 35, n. 4, p. 1, doi. 10.1093/logcom/exae078

By:

Wu, Supeng;
Liang, Xingliang;
Yang, Jiang

Publication type:

Article

Polytime embedding of intuitionistic modal logics into their one-variable fragments Open Access.

Published in:

Journal of Logic & Computation, 2025, v. 35, n. 4, p. 1, doi. 10.1093/logcom/exae077

By:

Rybakov, Mikhail;
Shkatov, Dmitry

Publication type:

Article

To the logical foundations of random number generator construction.

Published in:

Journal of Logic & Computation, 2025, v. 35, n. 4, p. 1, doi. 10.1093/logcom/exae075

By:

Enikeev, Ruslan

Publication type:

Article

Undecidability of the degree structure of primitive recursive m-reducibility.

Published in:

Journal of Logic & Computation, 2025, v. 35, n. 4, p. 1, doi. 10.1093/logcom/exae074

By:

Kalmurzayev, Birzhan S;
Bazhenov, Nikolay A;
Iskakov, Alibek M

Publication type:

Article

Nash meets Łukasiewicz: computing equilibria through logic.

Published in:

Journal of Logic & Computation, 2025, v. 35, n. 4, p. 1, doi. 10.1093/logcom/exae073

By:

Preto, Sandro;
Finger, Marcelo

Publication type:

Article

MV-frames.

Published in:

Journal of Logic & Computation, 2025, v. 35, n. 4, p. 1, doi. 10.1093/logcom/exae072

By:

Nganou, Jean B

Publication type:

Article

Cut-free labelled calculi and decidability for intuitionistic sentential logic with identity.

Published in:

Journal of Logic & Computation, 2025, v. 35, n. 4, p. 1, doi. 10.1093/logcom/exae071

By:

Galmiche, Didier;
Hornbeck, Brandon;
Méry, Daniel

Publication type:

Article

(Conceptual) explanations in logic.

Published in:

Journal of Logic & Computation, 2025, v. 35, n. 4, p. 1, doi. 10.1093/logcom/exae064

By:

Poggiolesi, Francesca

Publication type:

Article

Correction to: Parameterized Complexity of Dynamic Belief Updates: A Complete Map Free.

Published in:: 2025
Publication type:: Correction Notice

On some computational properties of open sets Open Access.

Published in:

Journal of Logic & Computation, 2025, v. 35, n. 4, p. 1, doi. 10.1093/logcom/exae048

By:

Normann, Dag;
Sanders, Sam

Publication type:

Article