default search action

combined dblp search
author search
venue search
publication search

ask others

Studia Logica, Volume 99

> 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 99, Numbers 1-3, October 2011

Special issue in honor of Ryszard Wójcicki on the occasion of his 80th birthday

- view
  authority control:
- export record
  dblp key:
  - journals/sLogica/CzelakowskiDM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sLogica/CzelakowskiDM11
Janusz Czelakowski, Wieslaw Dziobiak, Jacek Malinowski:
Foreword. 1-6
- view
  authority control:
- export record
  dblp key:
  - journals/sLogica/MalinowskiW11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sLogica/MalinowskiW11
Grzegorz Malinowski, Jan Wolenski:
Logic, Formal Methodology and Semantics in Works of Ryszard Wójcicki. 7-30
- view
  authority control:
- export record
  dblp key:
  - journals/sLogica/ArieliAZ11a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sLogica/ArieliAZ11a
Ofer Arieli, Arnon Avron, Anna Zamansky:
Ideal Paraconsistent Logics. 31-60
- view
  authority control:
- export record
  dblp key:
  - journals/sLogica/BenthemP11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sLogica/BenthemP11
Johan van Benthem, Eric Pacuit:
Dynamic Logics of Evidence-Based Beliefs. 61-92
- view
  authority control:
- export record
  dblp key:
  - journals/sLogica/BezhanishviliB11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sLogica/BezhanishviliB11
Guram Bezhanishvili, Nick Bezhanishvili:
An Algebraic Approach to Canonical Formulas: Modal Case. 93-125
- view
  authority control:
- export record
  dblp key:
  - journals/sLogica/DuntschO11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sLogica/DuntschO11
Ivo Düntsch, Ewa Orlowska:
Discrete Dualities for Double Stone Algebras. 127-142
- view
  authority control:
- export record
  dblp key:
  - journals/sLogica/Fitting11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sLogica/Fitting11
Melvin Fitting:
Reasoning About Games. 143-169
- view
  authority control:
- export record
  dblp key:
  - journals/sLogica/FontJ11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sLogica/FontJ11
Josep Maria Font, Ramon Jansana:
Leibniz-linked Pairs of Deductive Systems. 171-202
- view
  authority control:
- export record
  dblp key:
  - journals/sLogica/Goldblatt11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sLogica/Goldblatt11
Robert Goldblatt:
Grishin Algebras and Cover Systems for Classical Bilinear Logic. 203-227
- view
  authority control:
- export record
  dblp key:
  - journals/sLogica/Indrzejczak11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sLogica/Indrzejczak11
Andrzej Indrzejczak:
Possible Worlds in Use. 229-248
- view
  authority control:
- export record
  dblp key:
  - journals/sLogica/Maksimova11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sLogica/Maksimova11
Larisa Maksimova:
Interpolation and Definability over the Logic Gl. 249-267
- view
  authority control:
- export record
  dblp key:
  - journals/sLogica/Mundici11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sLogica/Mundici11
Daniele Mundici:
Consequence and Interpolation in Łukasiewicz Logic. 269-278
- view
  authority control:
- export record
  dblp key:
  - journals/sLogica/Raftery11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sLogica/Raftery11
James G. Raftery:
Contextual Deduction Theorems. 279-319
- view
  authority control:
- export record
  dblp key:
  - journals/sLogica/Rybakov11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sLogica/Rybakov11
Vladimir V. Rybakov:
Best Unifiers in Transitive Modal Logics. 321-336
- view
  authority control:
- export record
  dblp key:
  - journals/sLogica/Segerberg11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sLogica/Segerberg11
Krister Segerberg:
A Modal Logic of Metaphor. 337-347
- view
  authority control:
- export record
  dblp key:
  - journals/sLogica/Urquhart11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sLogica/Urquhart11
Alasdair Urquhart:
The Depth of Resolution Proofs. 349-364
- view
  authority control:
- export record
  dblp key:
  - journals/sLogica/WansingK11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sLogica/WansingK11
Heinrich Wansing, Norihiro Kamide:
Synchronized Linear-Time Temporal Logic. 365-388

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.