default search action

combined dblp search
author search
venue search
publication search

ask others

Studia Logica, Volume 113

> Home > Journals > Studia Logica

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 113, Number 1, February 2025

- view
  authority control:
- export record
  dblp key:
  - journals/sLogica/RybakovS25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sLogica/RybakovS25
Mikhail N. Rybakov, Dmitry Shkatov:
Variations on the Kripke Trick. 1-48
- view
  authority control:
- export record
  dblp key:
  - journals/sLogica/MaG25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sLogica/MaG25
Minghui Ma, Juntong Guo:
Kripke-Completeness and Sequent Calculus for Quasi-Boolean Modal Logic. 49-78
- view
  authority control:
- export record
  dblp key:
  - journals/sLogica/Tabatabai25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sLogica/Tabatabai25
Amirhossein Akbar Tabatabai:
On Geometric Implications. 79-108
- view
  authority control:
- export record
  dblp key:
  - journals/sLogica/KanoveiL25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sLogica/KanoveiL25
Vladimir Kanovei, Vassily A. Lyubetsky:
Parameterfree Comprehension Does Not Imply Full Comprehension in Second Order Peano Arithmetic. 109-124
- view
  authority control:
- export record
  dblp key:
  - journals/sLogica/PymRR25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sLogica/PymRR25
David J. Pym, Eike Ritter, Edmund Robinson:
Categorical Proof-theoretic Semantics. 125-162
- view
  authority control:
- export record
  dblp key:
  - journals/sLogica/ChajdaL25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sLogica/ChajdaL25
Ivan Chajda, Helmut Länger:
Algebraic Structures Formalizing the Logic of Quantum Mechanics Incorporating Time Dimension. 163-181
- view
  authority control:
- export record
  dblp key:
  - journals/sLogica/ConiglioGF25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sLogica/ConiglioGF25
Marcelo E. Coniglio, G. T. Gomez-Pereira, Martín Figallo:
On a Four-Valued Logic of Formal Inconsistency and Formal Undeterminedness. 183-224
- view
  authority control:
- export record
  dblp key:
  - journals/sLogica/Lipparini25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sLogica/Lipparini25
Paolo Lipparini:
A Model Theory of Topology. 225-259
- view
  authority control:
- export record
  dblp key:
  - journals/sLogica/Ceglie25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sLogica/Ceglie25
Matteo de Ceglie:
Stefania Centrone, Deborah Kant, Deniz Serikaya, Reflections on the Foundations of Mathematics. Univalent Foundations, Set Theory and General Thoughts, vol. 407 of Synthese Library, Springer, 2019, pp. 494+xxviii; ISBN: 978-3-030-15654-1 (Hardcover) 149.79€, ISBN: 978-3-030-15655-8 (eBook). 261-267

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.