Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDStudia Logica, Volume 101
Volume 101, Number 1, February 2013
- Andrew Bacon:
Curry's Paradox and ω -Inconsistency. 1-9 - Matteo Bianchi
:
The Variety Generated by all the Ordinal Sums of Perfect MV-Chains. 11-29 - Vedran Cacic, Domagoj Vrgoc:
A Note on Bisimulation and Modal Equivalence in Provability Logic and Interpretability Logic. 31-44 - Jaime Gaspar:
Negative Translations Not Intuitionistically Equivalent to the Usual Ones. 45-63 - Marcel Jackson, Belinda Trotta:
Constraint Satisfaction, Irredundant Axiomatisability and Continuous Colouring. 65-94 - Edmond W. H. Lee:
Finite Basis Problem for Semigroups of Order Five or Less: Generalization and Revisitation. 95-115 - João Rasga, Amílcar Sernadas, Cristina Sernadas:
Importing Logics: Soundness and Completeness Preservation. 117-155 - Ryo Takemura:
Proof Theory for Reasoning with Euler Diagrams: A Logic Translation and Normalization. 157-191 - Satoko Titani, Heiji Kodera, Hiroshi Aoyama:
Systems of Quantum Logic. 193-217 - Rajeev Goré:
Book Reviews. 219-228 - Walter Alexandre Carnielli:
Ewa Orlowska and Joanna Golinska-Pilarek, Dual Tableaux: Foundations, Methodology, Case Studies, Springer, Series: Trends in Logic, Vol 33, 2011, pp. xvi+523, 113 illus. ISBN: 978-94-007-0004-8 (hardcover) EURO 181, 85, 978-94-007-0005-5 (eBook) EURO 159, 99. 229-232
Volume 101, Number 2, April 2013
- Juha Kontinen, Jouko A. Väänänen, Dag Westerståhl:
Editorial Introduction. 233-236 - Antti Kuusisto:
Expressivity of Imperfect Information Logics without Identity. 237-265 - Jarmo Kontinen:
Coherence and Computational Complexity of Quantifier-free Dependence Logic Formulas. 267-291 - Pietro Galliani, Allen L. Mann:
Lottery Semantics: A Compositional Semantics for Probabilistic First-Order Logic with Imperfect Information. 293-322 - Fan Yang:
Expressing Second-order Sentences in Intuitionistic Dependence Logic. 323-342 - Peter Lohmann, Heribert Vollmer:
Complexity Results for Modal Dependence Logic. 343-366 - Pietro Galliani:
Epistemic Operators in Dependence Logic. 367-397 - Erich Grädel, Jouko A. Väänänen:
Dependence and Independence. 399-410 - Samson Abramsky:
Relational Hidden Variables and Non-Locality. 411-452 - Theo M. V. Janssen:
Compositional Natural Language Semantics using Independence Friendly Logic or Dependence Logic. 453-466
Volume 101, Number 3, June 2013
- Peter Aczel, Benno van den Berg, Johan Georg Granström, Peter Schuster:
Are There Enough Injective Sets? 467-482 - Eduardo J. Dubuc, Yuri A. Poveda:
The Intimate Relationship Between the McNaughton and the Chinese Remainder Theorems for MV-algebras. 483-485 - Allen P. Hazen, Benjamin G. Rin, Kai Frederick Wehmeier:
Actuality in Propositional Modal Logic. 487-503 - Georges Hansoul, Bruno Teheux:
Extending Łukasiewicz Logics with a Modality: Algebraic Approach to Relational Semantics. 505-545 - Bjørn Jespersen, Massimiliano Carrara:
A New Logic of Technical Malfunction. 547-581 - Ming Xu:
Some Normal Extensions of K4.3. 583-599 - Lavinia María Picollo:
Yablo's Paradox in Second-Order Languages: Consistency and Unsatisfiability. 601-617 - Hsing-chien Tsai:
Decidability of General Extensional Mereology. 619-636 - John P. Burgess:
Book Reviews. 637-639 - Vann McGee:
Book Reviews. 641-646
Volume 101, Number 4, August 2013
- Josep Maria Font, Ramon Jansana:
Introduction. 647-650 - Félix Bou, Umberto Rivieccio:
Bilattices with Implications. 651-675 - Carlos Caleiro, Ricardo Gonçalves:
Abstract Valuation Semantics. 677-712 - Petr Cintula, Carles Noguera:
The Proof by Cases Property and its Variants in Structural Consequence Relations. 713-747 - Àngel J. Gil:
On Gentzen Relations Associated with Finite-valued Logics Preserving Degrees of Truth. 749-781 - Manuel A. Martins, Alexandre Madeira, Luís Soares Barbosa:
A Coalgebraic Perspective on Logical Interpretations. 783-825 - Anvar M. Nurakunov, Michal M. Stronkowski:
Relation Formulas for Protoalgebraic Equality Free Quasivarieties; Pałasińska's Theorem Revisited. 827-847 - George Voutsadakis:
Categorical Abstract Algebraic Logic: Referential Algebraic Semantics. 849-899
Volume 101, Number 5, October 2013
- Ronnie Hermens:
Weakly Intuitionistic Quantum Logic. 901-913 - Riccardo Bruni:
Analytic Calculi for Circular Concepts by Finite Revision. 915-932 - Patrick Allo:
Adaptive Logic as a Modal Logic. 933-958 - Dorota Leszczynska-Jasion, Mariusz Urbanski, Andrzej Wisniewski:
Socratic Trees. 959-986 - Hsing-chien Tsai:
A Comprehensive Picture of the Decidability of Mereological Theories. 987-1012 - Sven Ove Hansson:
Bootstrap Contraction. 1013-1029 - Lloyd Humberstone:
Inverse Images of Box Formulas in Modal Logic. 1031-1060 - Barteld P. Kooi, Allard M. Tamminga:
Three-valued Logics in Modal Logic. 1061-1072 - Jouni Järvinen, Piero Pagliani, Sándor Radeleczki:
Information Completeness in Nelson Algebras of Rough Sets Induced by Quasiorders. 1073-1092 - Holger Andreas:
Deductive Reasoning in the Structuralist Approach. 1093-1113 - Takahiro Seki:
Some Metacomplete Relevant Modal Logics. 1115-1141 - Morten Heine Sørensen:
Book Reviews. 1143-1145 - Vagn Lundsgaard Hansen:
Book Reviews. 1147-1150 - Rafal Urbaniak:
Book Reviews. 1151-1153
Volume 101, Number 6, December 2013
- Heinrich Wansing, Roberto Ciuni, Caroline Willkommen:
Preface. 1155-1157 - Giovanna Corsi, Eugenio Orlandelli:
Free Quantified Epistemic Logics. 1159-1183 - Hans van Ditmarsch:
Revocable Belief Revision. 1185-1214 - Alberto Zanardo:
Indistinguishability, Choices, and Logics of Agency. 1215-1236 - Sergei P. Odintsov, Stanislav O. Speranski:
Computability Issues for Adaptive Logics in Multi-Consequence Standard Format. 1237-1262 - Graham Priest:
Indefinite Extensibility - Dialetheic Style. 1263-1275 - Norihiro Kamide:
A Hierarchy of Weak Double Negations. 1277-1297 - Dmitry Zaitsev, Yaroslav Shramko:
Bi-facial Truth: a Case for Generalized Truth Values. 1299-1318 - Marcus Kracht:
Are Logical Languages Compositional? 1319-1340
a service of 
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 2024-04-19 19:20 CEST 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:
