default search action

combined dblp search
author search
venue search
publication search

ask others

Studia Logica, Volume 92

> 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 92, Number 1, June 2009

- view
  authority control:
- export record
  dblp key:
  - journals/sLogica/AgotnesHRSW09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sLogica/AgotnesHRSW09
Thomas Ågotnes, Wiebe van der Hoek, Juan A. Rodríguez-Aguilar, Carles Sierra, Michael J. Wooldridge:
Multi-Modal CTL: Completeness, Complexity, and an Application. 1-26
- view
  authority control:
- export record
  dblp key:
  - journals/sLogica/FermullerM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sLogica/FermullerM09
Christian G. Fermüller, George Metcalfe:
Giles's Game and the Proof Theory of Lukasiewicz Logic. 27-61
- view
  authority control:
- export record
  dblp key:
  - journals/sLogica/FerreiraF09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sLogica/FerreiraF09
Fernando Ferreira, Gilda Ferreira:
Commuting Conversions vs. the Standard Conversions of the "Good" Connectives. 63-84
- view
  authority control:
- export record
  dblp key:
  - journals/sLogica/JarmuzekP09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sLogica/JarmuzekP09
Tomasz Jarmuzek, Andrzej Pietruszczak:
The Tense Logic for Master Argument in Prior's Reconstruction. 85-108
- view
  authority control:
- export record
  dblp key:
  - journals/sLogica/NurakunovS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sLogica/NurakunovS09
Anvar M. Nurakunov, Michal M. Stronkowski:
Quasivarieties with Definable Relative Principal Subcongruences. 109-120
- view
  authority control:
- export record
  dblp key:
  - journals/sLogica/Ferenczi09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sLogica/Ferenczi09
Miklós Ferenczi:
On Conservative Extensions in Logics with Infinitary Predicates. 121-135
- view
  authority control:
- export record
  dblp key:
  - journals/sLogica/Carter09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sLogica/Carter09
Jessica Carter:
Book Reviews. 137-141

Volume 92, Number 2, July 2009

- view
  authority control:
- export record
  dblp key:
  - journals/sLogica/ShramkoW09b
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sLogica/ShramkoW09b
Yaroslav Shramko, Heinrich Wansing:
Editorial Introduction. Truth Values: Part II. 143-146
- view
  authority control:
- export record
  dblp key:
  - journals/sLogica/AguzzoliBM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sLogica/AguzzoliBM09
Stefano Aguzzoli, Matteo Bianchi, Vincenzo Marra:
A Temporal Semantics for Basic Logic. 147-162
- view
  authority control:
- export record
  dblp key:
  - journals/sLogica/Avron09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sLogica/Avron09
Arnon Avron:
Multi-valued Semantics: Why and How. 163-182
- view
  authority control:
- export record
  dblp key:
  - journals/sLogica/Cook09a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sLogica/Cook09a
Roy T. Cook:
What is a Truth Value And How Many Are There? 183-201
- view
  authority control:
- export record
  dblp key:
  - journals/sLogica/Malinowski09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sLogica/Malinowski09
Grzegorz Malinowski:
Beyond Three Inferential Values. 203-213
- view
  authority control:
- export record
  dblp key:
  - journals/sLogica/Marcos09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sLogica/Marcos09
João Marcos:
What is a Non-truth-functional Logic? 215-240
- view
  authority control:
- export record
  dblp key:
  - journals/sLogica/Restall09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sLogica/Restall09
Greg Restall:
Truth Values and Proof Theory. 241-264
- view
  authority control:
- export record
  dblp key:
  - journals/sLogica/Zaitsev09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sLogica/Zaitsev09
Dmitry Zaitsev:
A Few More Useful 8-valued Logics for Reasoning with Tetralattice EIGHT₄. 265-280

Volume 92, Number 3, August 2009

- view
  authority control:
- export record
  dblp key:
  - journals/sLogica/AbrahamGS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sLogica/AbrahamGS09
Michael Abraham, Dov M. Gabbay, Uri J. Schild:
Analysis of the Talmudic Argumentum A Fortiori Inference Rule (Kal Vachomer) using Matrix Abduction. 281-364
- view
  authority control:
- export record
  dblp key:
  - journals/sLogica/GabbayS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sLogica/GabbayS09
Dov M. Gabbay, Andrzej Szalas:
Voting by Eliminating Quantifiers. 365-379
- view
  authority control:
- export record
  dblp key:
  - journals/sLogica/GabbayS09a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sLogica/GabbayS09a
Dov M. Gabbay, Karl Schlechta:
Independence - Revision and Defaults. 381-394
- view
  authority control:
- export record
  dblp key:
  - journals/sLogica/BoellaGGT09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sLogica/BoellaGGT09
Guido Boella, Dov M. Gabbay, Valerio Genovese, Leendert W. N. van der Torre:
Fibred Security Language. 395-436
- view
  authority control:
- export record
  dblp key:
  - journals/sLogica/BarkerBGG09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sLogica/BarkerBGG09
Steve Barker, Guido Boella, Dov M. Gabbay, Valerio Genovese:
A Meta-model of Access Control in a Fibred Security Language. 437-477

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.