| no |
title |
author |
magazine |
year |
volume |
issue |
page(s) |
type |
| 1 |
Abelian Logic and the Logics of Pointed Lattice-Ordered Varieties
|
Paoli, Francesco
|
|
2008
|
|
2 |
p. 209-233
|
article
|
| 2 |
Abstract Logics, Logic Maps, and Logic Homomorphisms
|
Lewitzka, Steffen
|
|
2007
|
|
2 |
p. 243-276
|
article
|
| 3 |
A Dialectic Contra-Classical Logic
|
Francez, Nissim
|
|
|
|
2 |
p. 221-229
|
article
|
| 4 |
A General Lindström Theorem for Some Normal Modal Logics
|
Enqvist, Sebastian
|
|
2013
|
|
2 |
p. 233-264
|
article
|
| 5 |
An Intensional Formalization of Generic Statements
|
Bergier, Hugolin
|
|
|
|
2 |
p. 139-160
|
article
|
| 6 |
A Note on Logicality of Generalized Quantifiers
|
Perkov, Tin
|
|
|
|
2 |
p. 149-152
|
article
|
| 7 |
A Refutation Theory
|
Skura, Tomasz
|
|
2009
|
|
2 |
p. 293-302
|
article
|
| 8 |
A Reinterpretation of the Semilattice Semantics with Applications
|
Weiss, Yale
|
|
|
|
2 |
p. 171-191
|
article
|
| 9 |
A Shared Framework for Consequence Operations and Abstract Model Theory
|
Wallmann, Christian
|
|
2012
|
|
2 |
p. 125-145
|
article
|
| 10 |
A Universal Approach to Guarantee Data Privacy
|
Studer, Thomas
|
|
2012
|
|
2 |
p. 195-209
|
article
|
| 11 |
Beppo Levi’s Analysis of the Paradoxes
|
Bruni, Riccardo
|
|
2012
|
|
2 |
p. 211-231
|
article
|
| 12 |
Beyond Logical Pluralism and Logical Monism
|
Arazim, Pavel
|
|
|
|
2 |
p. 151-174
|
article
|
| 13 |
Bimodal Logic with Contingency and Accident: Bisimulation and Axiomatizations
|
Fan, Jie
|
|
|
|
2 |
p. 123-147
|
article
|
| 14 |
Birkhoff Completeness in Institutions
|
Codescu, Mihai
|
|
2008
|
|
2 |
p. 277-309
|
article
|
| 15 |
Boethius of Dacia (1270s) and Radulphus Brito (1290s) on the Universal Sign ‘Every’
|
Mora-Márquez, Ana María
|
|
2015
|
|
2 |
p. 193-211
|
article
|
| 16 |
Calculi for Many-Valued Logics
|
Kaminski, Michael
|
|
|
|
2 |
p. 193-226
|
article
|
| 17 |
Carnap, Goguen, and the Hyperontologies: Logical Pluralism and Heterogeneous Structuring in Ontology Design
|
Kutz, Oliver
|
|
2010
|
|
2 |
p. 255-333
|
article
|
| 18 |
Characteristic Formulas of Partial Heyting Algebras
|
Citkin, Alex
|
|
2012
|
|
2 |
p. 167-193
|
article
|
| 19 |
Constrained Consequence
|
Britz, Katarina
|
|
2011
|
|
2 |
p. 327-350
|
article
|
| 20 |
Correction to: Some Restricted Lindenbaum Theorems Equivalent to the Axiom of Choice
|
Miller, David W.
|
|
|
|
2 |
p. 279
|
article
|
| 21 |
Dung’s Argumentation is Essentially Equivalent to Classical Propositional Logic with the Peirce–Quine Dagger
|
Gabbay, Dov M.
|
|
2011
|
|
2 |
p. 255-318
|
article
|
| 22 |
Eigenlogic in the Spirit of George Boole
|
Toffano, Zeno
|
|
|
|
2 |
p. 175-207
|
article
|
| 23 |
Erratum to: Universal Logic and Aristotelian Logic: Formality and Essence of Logic
|
Brumberg-Chaumont, Julie
|
|
2015
|
|
2 |
p. 279
|
article
|
| 24 |
Essential Structure of Proofs as a Measure of Complexity
|
Ramos, Jaime
|
|
|
|
2 |
p. 209-242
|
article
|
| 25 |
Extracting BB′IW Inhabitants of Simple Types From Proofs in the Sequent Calculus $${LT_\to^{t}}$$LT→t for Implicational Ticket Entailment
|
Bimbó, Katalin
|
|
2014
|
|
2 |
p. 141-164
|
article
|
| 26 |
Fraïssé’s Construction from a Topos-Theoretic Perspective
|
Caramello, Olivia
|
|
2014
|
|
2 |
p. 261-281
|
article
|
| 27 |
From Single Agent to Multi-Agent via Hypersequents
|
Poggiolesi, Francesca
|
|
2012
|
|
2 |
p. 147-166
|
article
|
| 28 |
Functorial Duality for Ortholattices and De Morgan Lattices
|
Bimbó, Katalin
|
|
2007
|
|
2 |
p. 311-333
|
article
|
| 29 |
Generalized Definitional Reflection and the Inversion Principle
|
Schroeder-Heister, Peter
|
|
2007
|
|
2 |
p. 355-376
|
article
|
| 30 |
Harmony in Multiple-Conclusion Natural-Deduction
|
Francez, Nissim
|
|
2014
|
|
2 |
p. 215-259
|
article
|
| 31 |
Hintikka and the Functions of Logic
|
Link, Montgomery
|
|
2018
|
|
2 |
p. 203-217
|
article
|
| 32 |
Hintikka, Free Logician
|
Fontaine, Matthieu
|
|
2018
|
|
2 |
p. 179-201
|
article
|
| 33 |
Hintikka Memorial Issue: Introduction and Remarks on Jaakko Hintikka’s Logical Philosophy
|
Pietarinen, Ahti-Veikko
|
|
2019
|
|
2 |
p. 137-145
|
article
|
| 34 |
Hintikka on the “Kant–Frege View”: A Critical Assessment
|
Mion, Giovanni
|
|
2018
|
|
2 |
p. 171-178
|
article
|
| 35 |
Human Rationality Challenges Universal Logic
|
Gaines, Brian R.
|
|
2010
|
|
2 |
p. 163-205
|
article
|
| 36 |
Innovation and Application of Logic: An Interview with Jaakko Hintikka
|
Wang, Lu
|
|
2018
|
|
2 |
p. 263-271
|
article
|
| 37 |
Interconnection of the Lattices of Extensions of Four Logics
|
Muravitsky, Alexei Y.
|
|
2017
|
|
2 |
p. 253-281
|
article
|
| 38 |
Introducing H, an Institution-Based Formal Specification and Verification Language
|
Diaconescu, Răzvan
|
|
|
|
2 |
p. 259-277
|
article
|
| 39 |
Is Logic Necessary?
|
McColm, Gregory
|
|
2010
|
|
2 |
p. 241-254
|
article
|
| 40 |
Is ‘No’ a Force-Indicator? Yes, Sooner or Later!
|
Schang, Fabien
|
|
2017
|
|
2 |
p. 225-251
|
article
|
| 41 |
Labelled Tableau Systems for Some Subintuitionistic Logics
|
Ma, Minghui
|
|
2018
|
|
2 |
p. 273-288
|
article
|
| 42 |
Logic and Natural Selection
|
Peregrin, Jaroslav
|
|
2010
|
|
2 |
p. 207-223
|
article
|
| 43 |
Minimally Generated Abstract Logics
|
Lewitzka, Steffen
|
|
2009
|
|
2 |
p. 219-241
|
article
|
| 44 |
Nominalism and Semantics in Abelard and Ockham
|
Hamelin, Guy
|
|
2015
|
|
2 |
p. 155-180
|
article
|
| 45 |
Ockham’s Calculus of Strict Implication
|
Lenzen, Wolfgang
|
|
2015
|
|
2 |
p. 181-191
|
article
|
| 46 |
On Combined Connectives
|
Sernadas, A.
|
|
2011
|
|
2 |
p. 205-224
|
article
|
| 47 |
On Non-Deterministic Quantification
|
Ferguson, Thomas Macaulay
|
|
2014
|
|
2 |
p. 165-191
|
article
|
| 48 |
On Nonmonotonic Consequence Relations
|
Muravitsky, Alexei
|
|
|
|
2 |
p. 227-249
|
article
|
| 49 |
On Pairs of Dual Consequence Operations
|
Wybraniec-Skardowska, Urszula
|
|
2011
|
|
2 |
p. 177-203
|
article
|
| 50 |
On Preserving
|
Payette, Gillman
|
|
2007
|
|
2 |
p. 295-310
|
article
|
| 51 |
On Refutation Rules
|
Skura, Tomasz
|
|
2011
|
|
2 |
p. 249-254
|
article
|
| 52 |
On TAE Machines and Their Computational Power
|
Syropoulos, Apostolos
|
|
2018
|
|
2 |
p. 165-170
|
article
|
| 53 |
On the 3D Visualisation of Logical Relations
|
Smessaert, Hans
|
|
2009
|
|
2 |
p. 303-332
|
article
|
| 54 |
Paradox, Closure and Indirect Speech Reports
|
Read, Stephen
|
|
2015
|
|
2 |
p. 237-251
|
article
|
| 55 |
Perfect IFG-Formulas
|
Mann, Allen L.
|
|
2008
|
|
2 |
p. 265-275
|
article
|
| 56 |
Perspectives on the Logical Study of Language
|
Hintikka, Jaakko
|
|
1956
|
|
2 |
p. 151-163
|
article
|
| 57 |
Positive Amalgamation
|
Belkasmi, Mohammed
|
|
|
|
2 |
p. 243-258
|
article
|
| 58 |
Preface: Is Logic Universal?
|
Beziau, Jean-Yves
|
|
2010
|
|
2 |
p. 161-162
|
article
|
| 59 |
Preface: Medieval Logic
|
Guerizoli, Rodrigo
|
|
2015
|
|
2 |
p. 129-131
|
article
|
| 60 |
Probability Logics for Reasoning About Quantum Observations
|
Ilić Stepić, Angelina
|
|
|
|
2 |
p. 175-219
|
article
|
| 61 |
Recovering a Logic from Its Fragments by Meta-Fibring
|
Coniglio, Marcelo Esteban
|
|
2007
|
|
2 |
p. 377-416
|
article
|
| 62 |
Referential Opacity and Epistemic Logic
|
Chatti, Saloua
|
|
2011
|
|
2 |
p. 225-247
|
article
|
| 63 |
Revising the Elenchus via Belief Revision
|
Kubyshkina, Ekaterina
|
|
|
|
2 |
p. 231-258
|
article
|
| 64 |
Russell and His Sources for Non-Classical Logics
|
Anellis, Irving H.
|
|
2009
|
|
2 |
p. 153-218
|
article
|
| 65 |
“Setting” n-Opposition
|
Pellissier, Régis
|
|
2008
|
|
2 |
p. 235-263
|
article
|
| 66 |
Some Multi-Conclusion Modal Paralogics
|
McGinnis, Casey
|
|
2007
|
|
2 |
p. 335-353
|
article
|
| 67 |
Strong Normalizability of Typed Lambda-Calculi for Substructural Logics
|
Mouri, Motohiko
|
|
2008
|
|
2 |
p. 189-207
|
article
|
| 68 |
Structuring the Universe of Universal Logic
|
Vasyukov, Vladimir L.
|
|
2007
|
|
2 |
p. 277-294
|
article
|
| 69 |
Super Models
|
Hintikka, Jaakko
|
|
1983
|
|
2 |
p. 147-150
|
article
|
| 70 |
The Decision Problem for Effective Procedures
|
Salmón, Nathan
|
|
|
|
2 |
p. 161-174
|
article
|
| 71 |
The Logic with Truth and Falsehood Operators from a Point of View of Universal Logic
|
Pavlov, Sergey
|
|
2011
|
|
2 |
p. 319-325
|
article
|
| 72 |
The Meanings of ‘Logic’ in the Thirteenth Century
|
Storck, Alfredo
|
|
2015
|
|
2 |
p. 133-154
|
article
|
| 73 |
Theory of Completeness for Logical Spaces
|
Gomi, Kensaku
|
|
2009
|
|
2 |
p. 243-291
|
article
|
| 74 |
The Place of Logic in Reasoning
|
Kayser, Daniel
|
|
2010
|
|
2 |
p. 225-239
|
article
|
| 75 |
The Semiotics of Spider Diagrams
|
Burton, Jim
|
|
2017
|
|
2 |
p. 177-204
|
article
|
| 76 |
To Peirce Hintikka’s Thoughts
|
Pietarinen, Ahti-Veikko
|
|
2018
|
|
2 |
p. 241-262
|
article
|
| 77 |
Topological Representation of Intuitionistic and Distributive Abstract Logics
|
Brunner, Andreas Bernhard Michael
|
|
2017
|
|
2 |
p. 153-175
|
article
|
| 78 |
Toward a Clarity of the Extreme Value Theorem
|
Katz, Karin U.
|
|
2014
|
|
2 |
p. 193-214
|
article
|
| 79 |
Translating Non-classical Logics into Classical Logic by Using Hidden Variables
|
Agudelo-Agudelo, Juan C.
|
|
2017
|
|
2 |
p. 205-224
|
article
|
| 80 |
Universal Logic and Aristotelian Logic: Formality and Essence of Logic
|
Brumberg-Chaumont, Julie
|
|
2015
|
|
2 |
p. 253-278
|
article
|
| 81 |
Varieties of Rigidity
|
Tanninen, Tuukka
|
|
2018
|
|
2 |
p. 219-240
|
article
|
| 82 |
What is Identical?
|
Vlasáková, Marta
|
|
|
|
2 |
p. 153-170
|
article
|
| 83 |
When the World is Not Enough: Medieval Ways to Deal with the Lack of Referents
|
Goubier, Frédéric
|
|
2015
|
|
2 |
p. 213-235
|
article
|
Journal description