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
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
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
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
Interpolation in 16-Valued Trilattice Logics. 345-370 - José de Jesús Lavalle-Martínez
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
Private Announcements on Topological Spaces. 481-513 - Martin Fischer
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
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
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ò
Varieties of BL-Algebras II. 721-737 - Manuela Busaniche
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
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
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
Extension Properties and Subdirect Representation in Abstract Algebraic Logic. 1065-1095 - Philip Kremer:
Topological-Frame Products of Modal Logics. 1097-1122 - Allen L. Mann
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
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
Pure Modal Logic of Names and Tableau Systems. 1261-1289 - Guram Bezhanishvili, Nick Bezhanishvili
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
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-02 18:03 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: