![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Studia Logica - An International Journal for Symbolic Logic, Volume 106
Volume 106, Number 1, February 2018
- Alexandru Baltag, Giovanni Ciná
:
Bisimulation for Conditional Modalities. 1-33 - Jia Chen
, Tianqun Pan:
Logic for Describing Strong Belief-Disagreement Between Agents. 35-47 - Shawn Standefer
:
Proof Theory for Functional Modal Logic. 49-84 - Wolfgang Rump:
The Structure Group of a Generalized Orthomodular Lattice. 85-100 - Carlo Nicolai
:
Provably True Sentences Across Axiomatizations of Kripke's Theory of Truth. 101-130 - Robert Goldblatt
, Ian M. Hodkinson:
The Finite Model Property for Logics with the Tangle Modality. 131-166 - Shengyang Zhong
:
Correspondence Between Kripke Frames and Projective Geometries. 167-189 - Asadollah Fallahi
:
A Second Pretabular Classical Relevance Logic. 191-214 - Roger Antonsen, Andreas Nakkerud
:
Book Reviews. 215-218
Volume 106, Number 2, April 2018
- Taishi Kurahashi
:
Arithmetical Completeness Theorem for Modal Logic K. 219-235 - Antonis C. Kakas
, Paolo Mancarella, Francesca Toni
:
On Argumentation Logic and Propositional Logic. 237-279 - Juan Manuel Cornejo, Ignacio Darío Viglizzo
:
Semi-intuitionistic Logic with Strong Negation. 281-293 - Andrzej Wisniewski
:
Deduction and Reduction Theorems for Inferential Erotetic Logic. 295-309 - Gennady Shtakser
:
Propositional Epistemic Logics with Quantification Over Agents of Knowledge. 311-344 - Reinhard Muskens
, Stefan Wintein:
Interpolation in 16-Valued Trilattice Logics. 345-370 - José de Jesús Lavalle-Martínez
, Manuel Montes-y-Gómez, Luis Villaseñor Pineda, Héctor Jiménez-Salazar, Ismael Everardo Bárcenas Patiño
:
Equivalences Among Polarity Algorithms. 371-395 - Kosta Dosen, Milos Adzic
:
Gödel's Natural Deduction. 397-415 - Antonio Ledda:
Stone-Type Representations and Dualities for Varieties of Bisemilattices. 417-448 - Vincenzo Dimonte:
Ralf Schindler, Set Theory: Exploring Independence and Truth. Springer International Publishing, 2014, pp. 332+X. ISBN: 978-3-319-06724-7 (softcover) $79.99, ISBN: 978-3-319-06725-4 (eBook) $59.99. 449-452
Volume 106, Number 3, June 2018
- Claudio E. A. Pizzi:
Two Kinds of Consequential Implication. 453-480 - Hans van Ditmarsch, Sophia Knight
, Aybüke Özgün
:
Private Announcements on Topological Spaces. 481-513 - Martin Fischer
, Norbert Gratzl:
Truth, Partial Logic and Infinitary Proof Systems. 515-540 - Szymon Chlebowski
:
Sequent Calculi for SCI. 541-563 - Minghui Ma, Fei Liang:
Sequent Calculi for Semi-De Morgan and De Morgan Algebras. 565-593 - Christian Pech
, Maja Pech
:
Reconstructing the Topology of the Elementary Self-embedding Monoids of Countable Saturated Structures. 595-613 - Timothy Childers, Ondrej Majer
:
Eliciting Uncertainties: A Two Structure Approach. 615-636 - Sergei P. Odintsov
, Stanislav O. Speranski
, Igor Shevchenko:
Hintikka's Independence-Friendly Logic Meets Nelson's Realizability. 637-670 - Torben Braüner:
Willem Conradie and Valentin Goranko, Logic and Discrete Mathematics: A Concise Introduction. Wiley, 2015, pp. 450. ISBN-13: 978-1-118-75127-5 (paperback) $42, ISBN-10: 978-1-118-75127-2 (eBook) $37.99. 671-673
Volume 106, Number 4, August 2018
- José Luis Castiglioni, Hernán Javier San Martín
:
l-Hemi-Implicative Semilattices. 675-690 - Peng He, Xue-ping Wang:
A Characterization of a Semimodular Lattice. 691-698 - R. Zoghifard, Massoud Pourmahdian
:
First-Order Modal Logic: Frame Definability and a Lindström Theorem. 699-720 - Paolo Aglianò
, Franco Montagna:
Varieties of BL-Algebras II. 721-737 - Manuela Busaniche
, Conrado Gomez:
Poset Product and BL-Chains. 739-756 - Mohammad Ardeshir, Wim Ruitenburg
:
Latarres, Lattices with an Arrow. 757-788 - Joan Gispert:
Finitary Extensions of the Nilpotent Minimum Logic and (Almost) Structural Completeness. 789-808 - Hsing-chien Tsai
:
General Extensional Mereology is Finitely Axiomatizable. 809-826 - Alex Citkin:
Hereditarily Structurally Complete Superintuitionistic Deductive Systems. 827-856 - Aldo V. Figallo, Inés Pascual, Gustavo Pelaitay
:
Principal and Boolean Congruences on $$\varvec{IKt}$$ IKt -Algebras. 857-882 - Giorgio Lando
:
Massimiliano Carrara, Alexandra Arapinis and Friederike Moltmann (eds.), Unity and Plurality. Logic, Philosophy, and Linguistics, OUP: Oxford, 2016, xv + 259 pp., ISBN: 978-019-8716-32-7 (hardback) £45, (kindle) £36. 883-888
Volume 106, Number 5, October 2018
- Alessandra Palmigiano
, Marcus Pivato:
Logics for Social Behaviour: An Editorial. 889-891 - Daniel Eckert, Frederik S. Herzberg
:
The Birth of Social Choice Theory from the Spirit of Mathematical Logic: Arrow's Theorem in the Framework of Model Theory. 893-911 - Tommaso Flaminio
, Hykel Hosni
, Serafina Lapenta:
Convex MV-Algebras: Many-Valued Logics Meet Decision Theory. 913-945 - Frederik Herzberg
:
Arrovian Aggregation of Generalised Expected-Utility Preferences: (Im)possibility Results by Means of Model Theory. 947-967 - Tadeusz Litak
:
Infinite Populations, Choice and Determinacy. 969-999 - Peter A. Streufert
:
The Category of Node-and-Choice Preforms for Extensive-Form Games. 1001-1064
Volume 106, Number 6, December 2018
- Tomás Lávicka
, Carles Noguera
:
Extension Properties and Subdirect Representation in Abstract Algebraic Logic. 1065-1095 - Philip Kremer:
Topological-Frame Products of Modal Logics. 1097-1122 - Allen L. Mann
, Ville Aarnio:
A Logical Analysis of Monty Hall and Sleeping Beauty. 1123-1162 - Hitoshi Omori, Jesse Alama:
Axiomatizing Jaśkowski's Discussive Logic $$\mathbf {D_2}$$ D 2. 1163-1180 - Taishi Kurahashi
:
Arithmetical Soundness and Completeness for $$\varvec{\Sigma }_{\varvec{2}}$$ Σ 2 Numerations. 1181-1196 - Rafal Gruszczynski
, Andrzej Pietruszczak
:
A Study in Grzegorczyk Point-Free Topology Part I: Separation and Grzegorczyk Structures. 1197-1238 - Antonio Di Nola, Giacomo Lenzi:
Duality Theory and Skeleta for Semisimple MV-Algebras. 1239-1260 - Andrzej Pietruszczak
, Tomasz Jarmuzek:
Pure Modal Logic of Names and Tableau Systems. 1261-1289 - Guram Bezhanishvili, Nick Bezhanishvili
, Joel Lucero-Bryan
, Jan van Mill:
A New Proof of the McKinsey-Tarski Theorem. 1291-1311 - Graham Priest:
Holger Andreas and Peter Verdée (eds.), Logical Studies of Paraconsistent Reasoning in Science and Mathematics - Springer, Series: Trends in Logic, Vol. 45 2016, pp. vi + 221. ISBN 978-3-319-40218-5. 1313-1318 - Dag Normann:
David Marker, Lectures on Infinitary Model Theory - Series: Lecture Notes in Logic, Vol. 46 2016, pp. 192. ISBN-13: 978-1107181939. 1319-1323
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
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.