default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDStudia Logica - An International Journal for Symbolic Logic, Volume 102
Volume 102, Number 1, February 2014
- Rajeev Goré, Revantha Ramanayake
:
Cut-elimination for Weak Grzegorczyk Logic Go. 1-27 - Jie Fang, Lei-Bo Wang, Ting Yang:
The Lattice of Kernel Ideals of a Balanced Pseudocomplemented Ockham Algebra. 29-39 - Tero Tulenheimo:
IF Modal Logic and Classical Negation. 41-66 - José Luis Castiglioni, Renato A. Lewin, Marta Sagastume:
On a Definition of a Variety of Monadic ℓ-Groups. 67-92 - Marek Nowak:
On Some Generalizations of the Concept of Partition. 93-116 - Daniel Pokrywczynski, Grant Malcolm:
Towards a Functional Approach to Modular Ontologies Using Institutions. 117-143 - Thomas Macaulay Ferguson:
Extensions of Priest-da Costa Logic. 145-174 - Yuichi Komori, Naosuke Matsuda, Fumika Yamakawa:
A Simplified Proof of the Church-Rosser Theorem. 175-183 - Gemma Robles, José M. Méndez:
Curry's Paradox, Generalized Modus Ponens Axiom and Depth Relevance. 185-217 - Erich H. Rast:
Book Reviews. 219-223 - Andrzej Tarlecki:
Răzvan Diaconescu, Institution-independent Model Theory. 225-229
Volume 102, Number 2, April 2014
- Thomas Ågotnes:
Logic and Games: an Introduction. 231-234 - Johan van Benthem:
Modeling Reasoning in a Social Setting. 235-265 - John Grant, Sarit Kraus, Michael J. Wooldridge, Inon Zuckerman:
Manipulating Games by Sharing Information. 267-295 - Dominik Klein, Eric Pacuit:
Changing Types: Information Dynamics for Qualitative Type Spaces. 297-319 - Ji Ruan, Michael Thielscher:
Logical-Epistemic Foundations of General Game Descriptions. 321-338 - Joshua Sack, Wiebe van der Hoek:
A Modal Logic for Mixed Strategies. 339-360 - Soumya Paul, Ramaswamy Ramanujam:
Subgames within Large Games and the Heuristic of Imitation. 361-388 - Christian G. Fermüller, Christoph Roschger:
From Games to Truth Functions: A Generalization of Giles's Game. 389-410
Volume 102, Number 3, June 2014
- Alessandro Giordani:
A New Semantics for Systems of Logic of Essence. 411-440 - Chrysafis Hartonas:
On the Dynamic Logic of Agency and Action. 441-478 - Michael Kaminski, Nissim Francez:
Relational Semantics of the Lambek Calculus Extended with Classical Propositional Logic. 479-497 - Shan Du, Hongkui Kang:
On Pretabular Logics in NExtK4 (Part I). 499-523 - Marcelo E. Coniglio, Martín Figallo:
Hilbert-style Presentations of Two Logics Associated to Tetravalent Modal Algebras. 525-539 - Lev D. Beklemishev, David Fernández-Duque, Joost J. Joosten:
On Provability Logics with Linearly Ordered Modalities. 541-566 - Samuel A. Alexander:
A Machine That Knows Its Own Code. 567-576 - Gillman Payette:
Decidability of an Xstit Logic. 577-607 - Jesse Alama:
The Simplest Axiom System for Hyperbolic Geometry Revisited, Again. 609-615 - George Voutsadakis:
Categorical Abstract Algebraic Logic: Behavioral π-Institutions. 617-646 - Yanjing Wang:
Book Reviews. 647-654 - Juan J. Colomina:
Review of Bostock's Russell's Logical Atomism. 655-662
Volume 102, Number 4, August 2014
- Matthias Unterhuber, Gerhard Schurz:
Logic and Probability: Reasoning in Uncertain Environments - Introduction to the Special Issue. 663-671 - Sarah R. Beck, Daniel P. Weisberg, Patrick Burns, Kevin J. Riggs:
Conditional Reasoning and Emotional Experience: A Review of the Development of Counterfactual Thinking. 673-689 - Dorothy Edgington:
Estimating Conditional Chances and Evaluating Counterfactuals. 691-707 - Angelo Gilio, Giuseppe Sanfilippo:
Conditional Random Quantities and Compounds of Conditionals. 709-729 - James Hawthorne:
A Primer on Rational Consequence Relations, Popper Functions, and Their Ranked Structures. 731-749 - Gabriele Kern-Isberner, Christian Eichhorn:
Structural Inference from Conditional Knowledge Bases. 751-769 - Karolina Krzyzanowska, Sylvia Wenmackers, Igor Douven:
Rethinking Gibbard's Riverboat Argument. 771-792 - Brian Leahy, Eva Rafetseder, Josef Perner:
Basic Conditional Reasoning: How Children Mimic Counterfactual Reasoning. 793-810 - Arthur Paul Pedersen:
Comparative Expectations. 811-848 - Niki Pfeifer:
Reasoning About Uncertain Conditionals. 849-866 - Paul D. Thorn, Gerhard Schurz:
A Utility Based Evaluation of Logico-probabilistic Systems. 867-890 - Matthias Unterhuber, Gerhard Schurz:
Completeness and Correspondence in Chellas-Segerberg Semantics. 891-911 - Christian Wallmann, Gernot D. Kleiter:
Probability Propagation in Generalized Inference Forms. 913-929
Volume 102, Number 5, October 2014
- Shan Du:
On Pretabular Logics in NExtK4 (Part II). 931-954 - Sven Ove Hansson:
Descriptor Revision. 955-980 - Sam Butchart, Susan Rogerson:
On the Algebraizability of the Implicational Fragment of Abelian Logic. 981-1001 - Gillman Payette, Peter K. Schotch:
Remarks on the Scott-Lindenbaum Theorem. 1003-1020 - Evgeny Zolin:
Undecidability of the Problem of Recognizing Axiomatizations of Superintuitionistic Propositional Calculi. 1021-1039 - João Rasga, Amílcar Sernadas, Cristina Sernadas:
Fibring as Biporting Subsumes Asymmetric Combinations. 1041-1074 - Igor Douven:
Radim Belohlavek and George J. Klir (eds.), Concepts and Fuzzy Logic. 1075-1077 - Jean-Yves Béziau:
Yaroslav Shramko and Heinrich Wansing, Truth and Falsehood - An Inquiry into Generalized Logical Values. 1079-1085 - John P. Burgess:
Kevin Scharp, Replacing Truth. 1087-1089
Volume 102, Number 6, December 2014
- Andrzej Indrzejczak:
Introduction. 1091-1094 - Ermanno Bencivenga:
Jaśkowski's Universally Free Logic. 1095-1102 - Allen P. Hazen, Francis Jeffry Pelletier:
Gentzen and Jaśkowski Natural Deduction: Fundamentally Similar but Importantly Different. 1103-1142 - Greg Restall:
Normal Proofs, Cut Free Derivations and Structural Rules. 1143-1166 - Jan von Plato:
From Axiomatic Logic to Natural Deduction. 1167-1184 - Peter Schroeder-Heister:
The Calculus of Higher-Level Rules, Propositional Quantification, and the Foundational Approach to Proof-Theoretic Harmony. 1185-1216 - Matthias Baaz, Alexander Leitsch:
Cut-Elimination: Syntax and Semantics. 1217-1244 - Agata Ciabattoni, Revantha Ramanayake, Heinrich Wansing:
Hypersequent and Display Calculi - a Unified Perspective. 1245-1294 - Andrzej Indrzejczak:
A Survey of Nonstandard Sequent Calculi. 1295-1322
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-09-14 23:43 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:
