default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDStudia Logica, Volume 92
Volume 92, Number 1, June 2009
- 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 - Christian G. Fermüller, George Metcalfe:
Giles's Game and the Proof Theory of Lukasiewicz Logic. 27-61 - Fernando Ferreira, Gilda Ferreira:
Commuting Conversions vs. the Standard Conversions of the "Good" Connectives. 63-84 - Tomasz Jarmuzek, Andrzej Pietruszczak:
The Tense Logic for Master Argument in Prior's Reconstruction. 85-108 - Anvar M. Nurakunov, Michal M. Stronkowski:
Quasivarieties with Definable Relative Principal Subcongruences. 109-120 - Miklós Ferenczi:
On Conservative Extensions in Logics with Infinitary Predicates. 121-135 - Jessica Carter:
Book Reviews. 137-141
Volume 92, Number 2, July 2009
- Yaroslav Shramko, Heinrich Wansing:
Editorial Introduction. Truth Values: Part II. 143-146 - Stefano Aguzzoli, Matteo Bianchi, Vincenzo Marra:
A Temporal Semantics for Basic Logic. 147-162 - Arnon Avron:
Multi-valued Semantics: Why and How. 163-182 - Roy T. Cook:
What is a Truth Value And How Many Are There? 183-201 - Grzegorz Malinowski:
Beyond Three Inferential Values. 203-213 - João Marcos:
What is a Non-truth-functional Logic? 215-240 - Greg Restall:
Truth Values and Proof Theory. 241-264 - Dmitry Zaitsev:
A Few More Useful 8-valued Logics for Reasoning with Tetralattice EIGHT4. 265-280
Volume 92, Number 3, August 2009
- Michael Abraham, Dov M. Gabbay, Uri J. Schild:
Analysis of the Talmudic Argumentum A Fortiori Inference Rule (Kal Vachomer) using Matrix Abduction. 281-364 - Dov M. Gabbay, Andrzej Szalas:
Voting by Eliminating Quantifiers. 365-379 - Dov M. Gabbay, Karl Schlechta:
Independence - Revision and Defaults. 381-394 - Guido Boella, Dov M. Gabbay, Valerio Genovese, Leendert W. N. van der Torre:
Fibred Security Language. 395-436 - 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.
last updated on 2025-01-24 17:05 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
