default search action

combined dblp search
author search
venue search
publication search

ask others

Journal of Logic and Computation, Volume 35

> Home > Journals > Journal of Logic and Computation

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 35, Number 1, 2025

- view
  authority control:
- export record
  dblp key:
  - journals/logcom/ArecesFSV25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/ArecesFSV25
Carlos Areces, Raul Fervari, Andrés R. Saravia, Fernando R. Velázquez-Quesada:
Uncertainty-based knowing how logic. 1-35
- view
  authority control:
- export record
  dblp key:
  - journals/logcom/Logan25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/Logan25
Shay Allen Logan:
Nondeterministic and nonconcurrent computational semantics for BB+ and related logics. 36-56
- view
  authority control:
- export record
  dblp key:
  - journals/logcom/BalbianiG25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/BalbianiG25
Philippe Balbiani, Quentin Gougeon:
Projective relative unification through duality. 57-80
- view
  authority control:
- export record
  dblp key:
  - journals/logcom/ChitaiaOS25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/ChitaiaOS25
Irakli O. Chitaia, Roland Sh. Omanadze, Andrea Sorbi:
Conjunctive degrees and cylinders. 81-94
- view
  authority control:
- export record
  dblp key:
  - journals/logcom/GheorghiuP25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/GheorghiuP25
Alexander V. Gheorghiu, David J. Pym:
Defining logical systems via algebraic constraints on proofs. 95-146
- view
  authority control:
- export record
  dblp key:
  - journals/logcom/WuL25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/WuL25
Jiachao Wu, Hengfei Li:
Renovation sets and their applications in higher-order argumentation frameworks. 147-171
- view
  authority control:
- export record
  dblp key:
  - journals/logcom/KahleOS25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/KahleOS25
Reinhard Kahle, Isabel Oitavem, Paulo Guilherme Santos:
Numeral completeness of weak theories of arithmetic. 172-193
- view
  authority control:
- export record
  dblp key:
  - journals/logcom/X25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/X25
Correction to: Conjunctive degrees and cylinders. 194

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.