| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
Abstract Valuation Semantics
|
Caleiro, Carlos
|
|
2013
|
|
4 |
p. 677-712
|
artikel
|
| 2 |
A Characteristic Frame for Positive Intuitionistic and Relevance Logic
|
Weiss, Yale
|
|
|
|
4 |
p. 687-699
|
artikel
|
| 3 |
A Characterization of a Semimodular Lattice
|
He, Peng
|
|
2017
|
|
4 |
p. 691-698
|
artikel
|
| 4 |
A Coalgebraic Perspective on Logical Interpretations
|
Martins, M. A.
|
|
2013
|
|
4 |
p. 783-825
|
artikel
|
| 5 |
A Computationally Grounded, Weighted Doxastic Logic
|
Chen, Taolue
|
|
2015
|
|
4 |
p. 679-703
|
artikel
|
| 6 |
A Constructive Type-Theoretical Formalism for the Interpretation of Subatomically Sensitive Natural Language Constructions
|
Więckowski, Bartosz
|
|
2012
|
|
4 |
p. 815-853
|
artikel
|
| 7 |
A First-Order Expansion of Artemov and Protopopescu’s Intuitionistic Epistemic Logic
|
Su, Youan
|
|
|
|
4 |
p. 615-652
|
artikel
|
| 8 |
A Generalized Syllogistic Inference System based on Inclusion and Exclusion Relations
|
Mineshima, Koji
|
|
2012
|
|
4 |
p. 753-785
|
artikel
|
| 9 |
A Higher-Order Theory of Presupposition
|
Martin, Scott
|
|
2012
|
|
4 |
p. 727-751
|
artikel
|
| 10 |
A Logical Theory of Localization
|
Belle, Vaishak
|
|
2015
|
|
4 |
p. 741-772
|
artikel
|
| 11 |
A Modal View on Resource-Bounded Propositional Logics
|
Pardo, Pere
|
|
|
|
4 |
p. 1035-1080
|
artikel
|
| 12 |
An Analysis of Poly-connexivity
|
Estrada-González, Luis
|
|
|
|
4 |
p. 925-947
|
artikel
|
| 13 |
A Note on Natural Extensions in Abstract Algebraic Logic
|
Cintula, Petr
|
|
2014
|
|
4 |
p. 815-823
|
artikel
|
| 14 |
A Note on Strong Axiomatization of Gödel Justification Logic
|
Pischke, Nicholas
|
|
|
|
4 |
p. 687-724
|
artikel
|
| 15 |
A Primer on Rational Consequence Relations, Popper Functions, and Their Ranked Structures
|
Hawthorne, James
|
|
2013
|
|
4 |
p. 731-749
|
artikel
|
| 16 |
A Proof Theory for the Logic of Provability in True Arithmetic
|
Kushida, Hirohiko
|
|
|
|
4 |
p. 857-875
|
artikel
|
| 17 |
A Propositional Dynamic Logic for Instantial Neighborhood Semantics
|
Benthem, Johan van
|
|
2018
|
|
4 |
p. 719-751
|
artikel
|
| 18 |
A Simple Logical Matrix and Sequent Calculus for Parry’s Logic of Analytic Implication
|
Szmuc, Damian E.
|
|
|
|
4 |
p. 791-828
|
artikel
|
| 19 |
A STIT Logic for Reasoning About Social Influence
|
Lorini, Emiliano
|
|
2015
|
|
4 |
p. 773-812
|
artikel
|
| 20 |
A Study in Grzegorczyk Point-Free Topology Part II: Spaces of Points
|
Gruszczyński, Rafał
|
|
2018
|
|
4 |
p. 809-843
|
artikel
|
| 21 |
A Utility Based Evaluation of Logico-probabilistic Systems
|
Thorn, Paul D.
|
|
2013
|
|
4 |
p. 867-890
|
artikel
|
| 22 |
Axiomatizing the Logic of Imagination
|
Giordani, Alessandro
|
|
2018
|
|
4 |
p. 639-657
|
artikel
|
| 23 |
Basic Conditional Reasoning: How Children Mimic Counterfactual Reasoning
|
Leahy, Brian
|
|
2013
|
|
4 |
p. 793-810
|
artikel
|
| 24 |
Belnap–Dunn Modal Logic with Value Operators
|
Lin, Yuanlei
|
|
|
|
4 |
p. 759-789
|
artikel
|
| 25 |
Bilattices with Implications
|
Bou, Félix
|
|
2013
|
|
4 |
p. 651-675
|
artikel
|
| 26 |
Book Review: Jonathan Ginzburg, The Interactive Stance: Meaning in Conversation
|
Benotti, Luciana
|
|
2015
|
|
4 |
p. 877-882
|
artikel
|
| 27 |
Book Reviews
|
Eastaugh, Benedict
|
|
2017
|
|
4 |
p. 873-879
|
artikel
|
| 28 |
Categorical Abstract Algebraic Logic: Referential Algebraic Semantics
|
Voutsadakis, George
|
|
2013
|
|
4 |
p. 849-899
|
artikel
|
| 29 |
Checking EMTLK Properties of Timed Interpreted Systems Via Bounded Model Checking
|
Woźna-Szcześniak, Bożena
|
|
2015
|
|
4 |
p. 641-678
|
artikel
|
| 30 |
Classical Negation and Expansions of Belnap–Dunn Logic
|
De, Michael
|
|
2015
|
|
4 |
p. 825-851
|
artikel
|
| 31 |
Comparative Expectations
|
Pedersen, Arthur Paul
|
|
2014
|
|
4 |
p. 811-848
|
artikel
|
| 32 |
Completeness and Correspondence in Chellas–Segerberg Semantics
|
Unterhuber, Matthias
|
|
2013
|
|
4 |
p. 891-911
|
artikel
|
| 33 |
Conditional Random Quantities and Compounds of Conditionals
|
Gilio, Angelo
|
|
2013
|
|
4 |
p. 709-729
|
artikel
|
| 34 |
Conditional Reasoning and Emotional Experience: A Review of the Development of Counterfactual Thinking
|
Beck, Sarah R.
|
|
2013
|
|
4 |
p. 673-689
|
artikel
|
| 35 |
Congruences and Kernel Ideals on a Subclass of Ockham Algebras
|
Wang, Xue-Ping
|
|
2014
|
|
4 |
p. 713-731
|
artikel
|
| 36 |
Correction to: Group Representation for Even and Odd Involutive Commutative Residuated Chains
|
Jenei, Sándor
|
|
|
|
4 |
p. 923-924
|
artikel
|
| 37 |
Correction to: The Hahn Embedding Theorem for a Class of Residuated Semigroups
|
Jenei, Sándor
|
|
|
|
4 |
p. 1135
|
artikel
|
| 38 |
Correction to: The Hahn Embedding Theorem for a Class of Residuated Semigroups
|
Jenei, Sándor
|
|
|
|
4 |
p. 887-901
|
artikel
|
| 39 |
Counter-Example Construction with Euler Diagrams
|
Takemura, Ryo
|
|
2014
|
|
4 |
p. 669-696
|
artikel
|
| 40 |
Duality for the Logic of Quantum Actions
|
Bergfeld, Jort M.
|
|
2014
|
|
4 |
p. 781-805
|
artikel
|
| 41 |
Editors’ Preface
|
Francez, Nissim
|
|
2012
|
|
4 |
p. 663-665
|
artikel
|
| 42 |
Eight Inference Rules for Implication
|
Arndt, Michael
|
|
2018
|
|
4 |
p. 781-808
|
artikel
|
| 43 |
Enrico Martino, Intuitionistic Proof Versus Classical Truth: The Role of Brouwer’s Creative Subject in Intuitionistic Mathematics, Springer, 2018
|
Fletcher, Peter
|
|
2019
|
|
4 |
p. 845-851
|
artikel
|
| 44 |
Epistemic Logic, Monotonicity, and the Halbach–Welch Rapprochement Strategy
|
Banick, Kyle
|
|
2018
|
|
4 |
p. 669-693
|
artikel
|
| 45 |
Estimating Conditional Chances and Evaluating Counterfactuals
|
Edgington, Dorothy
|
|
2013
|
|
4 |
p. 691-707
|
artikel
|
| 46 |
Expansions of Dually Pseudocomplemented Heyting Algebras
|
Taylor, Christopher J.
|
|
2017
|
|
4 |
p. 817-841
|
artikel
|
| 47 |
Finitary Extensions of the Nilpotent Minimum Logic and (Almost) Structural Completeness
|
Gispert, Joan
|
|
2017
|
|
4 |
p. 789-808
|
artikel
|
| 48 |
First-Order Modal Logic: Frame Definability and a Lindström Theorem
|
Zoghifard, R.
|
|
2017
|
|
4 |
p. 699-720
|
artikel
|
| 49 |
Free Logics are Cut-Free
|
Indrzejczak, Andrzej
|
|
|
|
4 |
p. 859-886
|
artikel
|
| 50 |
General Extensional Mereology is Finitely Axiomatizable
|
Tsai, Hsing-chien
|
|
2017
|
|
4 |
p. 809-826
|
artikel
|
| 51 |
Generalizing Deontic Action Logic
|
Giordani, Alessandro
|
|
|
|
4 |
p. 989-1033
|
artikel
|
| 52 |
Grounding Megethology on Plural Reference
|
Carrara, Massimiliano
|
|
2014
|
|
4 |
p. 697-711
|
artikel
|
| 53 |
Group Representation for Even and Odd Involutive Commutative Residuated Chains
|
Jenei, Sándor
|
|
|
|
4 |
p. 881-922
|
artikel
|
| 54 |
Hard and Soft Preparation Sets in Boolean Games
|
Harrenstein, Paul
|
|
2015
|
|
4 |
p. 813-847
|
artikel
|
| 55 |
Hereditarily Structurally Complete Superintuitionistic Deductive Systems
|
Citkin, Alex
|
|
2017
|
|
4 |
p. 827-856
|
artikel
|
| 56 |
Herzberger’s Limit Rule with Labelled Sequent Calculus
|
Fjellstad, Andreas
|
|
|
|
4 |
p. 815-855
|
artikel
|
| 57 |
Imperatives: a Judgemental Analysis
|
Fox, Chris
|
|
2012
|
|
4 |
p. 879-905
|
artikel
|
| 58 |
Inclusion and Exclusion in Natural Language
|
Icard, Thomas F.
|
|
2012
|
|
4 |
p. 705-725
|
artikel
|
| 59 |
Introduction
|
Font, Josep Maria
|
|
2013
|
|
4 |
p. 647-650
|
artikel
|
| 60 |
Jan Dejnožka, The Concept of Relevance and the Logic Diagram Tradition
|
Bellucci, Francesco
|
|
2019
|
|
4 |
p. 853-857
|
artikel
|
| 61 |
Justification Logic with Confidence
|
Shear, Ted
|
|
|
|
4 |
p. 751-778
|
artikel
|
| 62 |
Labelled Sequent Calculi for Lewis’ Non-normal Propositional Modal Logics
|
Tesi, Matteo
|
|
|
|
4 |
p. 725-757
|
artikel
|
| 63 |
Latarres, Lattices with an Arrow
|
Ardeshir, Mohammad
|
|
2017
|
|
4 |
p. 757-788
|
artikel
|
| 64 |
L-effect Algebras
|
Rump, Wolfgang
|
|
|
|
4 |
p. 725-750
|
artikel
|
| 65 |
l-Hemi-Implicative Semilattices
|
Castiglioni, José Luis
|
|
2017
|
|
4 |
p. 675-690
|
artikel
|
| 66 |
Logic and Grammar
|
Lambek, Joachim
|
|
2012
|
|
4 |
p. 667-681
|
artikel
|
| 67 |
Logic and Probability: Reasoning in Uncertain Environments – Introduction to the Special Issue
|
Unterhuber, Matthias
|
|
2014
|
|
4 |
p. 663-671
|
artikel
|
| 68 |
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.
|
Lando, Giorgio
|
|
2018
|
|
4 |
p. 883-888
|
artikel
|
| 69 |
MS-Algebras Whose e-Ideals are Kernel Ideals
|
Luo, Congwen
|
|
2018
|
|
4 |
p. 659-668
|
artikel
|
| 70 |
On Boolean Algebraic Structure of Proofs: Towards an Algebraic Semantics for the Logic of Proofs
|
Farahmand Parsa, Amir
|
|
|
|
4 |
p. 573-613
|
artikel
|
| 71 |
On Extracting Variable Herbrand Disjunctions
|
Sipoş, Andrei
|
|
|
|
4 |
p. 1115-1134
|
artikel
|
| 72 |
On Gentzen Relations Associated with Finite-valued Logics Preserving Degrees of Truth
|
Gil, Angel J.
|
|
2013
|
|
4 |
p. 749-781
|
artikel
|
| 73 |
On Monadic Operators on Modal Pseudocomplemented De Morgan Algebras and Tetravalent Modal Algebras
|
Figallo Orellano, Aldo
|
|
2018
|
|
4 |
p. 591-611
|
artikel
|
| 74 |
On the Equivalence Between MV-Algebras and l-Groups with Strong Unit
|
Dubuc, Eduardo J.
|
|
2014
|
|
4 |
p. 807-814
|
artikel
|
| 75 |
Petr Cintula, Carles Noguera, Logic and Implication. An Introduction to the General Algebraic Study of Non-classical Logics, vol. 57 of Trends in Logic, Springer, 2021, pp. 465+xxii; ISBN: 978-3-030-85674-8 (Hardcover) 117.69€, ISBN: 978-3-030- 85675-5 (eBook) 93.08 €.
|
Jansana, Ramon
|
|
|
|
4 |
p. 709-715
|
artikel
|
| 76 |
Poset Product and BL-Chains
|
Busaniche, Manuela
|
|
2017
|
|
4 |
p. 739-756
|
artikel
|
| 77 |
Positive Monotone Modal Logic
|
de Groot, Jim
|
|
|
|
4 |
p. 829-857
|
artikel
|
| 78 |
Presence and Absence of Individuals in Diagrammatic Logics: An Empirical Comparison
|
Stapleton, Gem
|
|
2017
|
|
4 |
p. 787-815
|
artikel
|
| 79 |
Principal and Boolean Congruences on $$\varvec{IKt}$$IKt-Algebras
|
Figallo, Aldo V.
|
|
2018
|
|
4 |
p. 857-882
|
artikel
|
| 80 |
Probability Propagation in Generalized Inference Forms
|
Wallmann, Christian
|
|
2013
|
|
4 |
p. 913-929
|
artikel
|
| 81 |
Progression and Verification of Situation Calculus Agents with Bounded Beliefs
|
De Giacomo, Giuseppe
|
|
2015
|
|
4 |
p. 705-739
|
artikel
|
| 82 |
Proof Theory for Positive Logic with Weak Negation
|
Bílková, Marta
|
|
|
|
4 |
p. 649-686
|
artikel
|
| 83 |
Proof Theory of Paraconsistent Weak Kleene Logic
|
Paoli, Francesco
|
|
|
|
4 |
p. 779-802
|
artikel
|
| 84 |
Properties of Saturation in Monotonic Neighbourhood Models and Some Applications
|
Celani, Sergio A.
|
|
2014
|
|
4 |
p. 733-755
|
artikel
|
| 85 |
Propositional Epistemic Logics with Quantification Over Agents of Knowledge (An Alternative Approach)
|
Shtakser, Gennady
|
|
2018
|
|
4 |
p. 753-780
|
artikel
|
| 86 |
Reasoning About Uncertain Conditionals
|
Pfeifer, Niki
|
|
2013
|
|
4 |
p. 849-866
|
artikel
|
| 87 |
Relational Representation Theorems for Extended Contact Algebras
|
Balbiani, Philippe
|
|
|
|
4 |
p. 701-723
|
artikel
|
| 88 |
Relation Formulas for Protoalgebraic Equality Free Quasivarieties; Pałasińska’s Theorem Revisited
|
Nurakunov, Anvar M.
|
|
2013
|
|
4 |
p. 827-847
|
artikel
|
| 89 |
Relativised Homomorphism Preservation at the Finite Level
|
Ham, Lucy
|
|
2017
|
|
4 |
p. 761-786
|
artikel
|
| 90 |
Restricted Priestley Dualities and Discriminator Varieties
|
Davey, B. A.
|
|
2017
|
|
4 |
p. 843-872
|
artikel
|
| 91 |
Rethinking Gibbard’s Riverboat Argument
|
Krzyżanowska, Karolina
|
|
2013
|
|
4 |
p. 771-792
|
artikel
|
| 92 |
Satisfiability is False Intuitionistically: A Question from Dana Scott
|
McCarty, Charles
|
|
|
|
4 |
p. 803-813
|
artikel
|
| 93 |
Semantical Analysis of the Logic of Bunched Implications
|
Gheorghiu, Alexander V.
|
|
|
|
4 |
p. 525-571
|
artikel
|
| 94 |
Sequent Calculi for Global Modal Consequence Relations
|
Ma, Minghui
|
|
2018
|
|
4 |
p. 613-637
|
artikel
|
| 95 |
Simplified Kripke Semantics for K45-Like Gödel Modal Logics and Its Axiomatic Extensions
|
Rodriguez, Ricardo Oscar
|
|
|
|
4 |
p. 1081-1114
|
artikel
|
| 96 |
Special Issue on Logical Aspects of Multi-Agent Systems
|
Bulling, Nils
|
|
2016
|
|
4 |
p. 593-595
|
artikel
|
| 97 |
Structural Inference from Conditional Knowledge Bases
|
Kern-Isberner, Gabriele
|
|
2013
|
|
4 |
p. 751-769
|
artikel
|
| 98 |
Subdirectly Irreducible IKt-Algebras
|
Figallo, Aldo V.
|
|
2017
|
|
4 |
p. 673-701
|
artikel
|
| 99 |
Tense Operators on Distributive Lattices with Implication
|
Pelaitay, Gustavo
|
|
|
|
4 |
p. 687-708
|
artikel
|
| 100 |
The Proof by Cases Property and its Variants in Structural Consequence Relations
|
Cintula, Petr
|
|
2013
|
|
4 |
p. 713-747
|
artikel
|
| 101 |
The Semi Heyting–Brouwer Logic
|
Cornejo, Juan Manuel
|
|
2014
|
|
4 |
p. 853-875
|
artikel
|
| 102 |
The Soundness of Internalized Polarity Marking
|
Moss, Lawrence S.
|
|
2012
|
|
4 |
p. 683-704
|
artikel
|
| 103 |
The Strong Version of a Sentential Logic
|
Albuquerque, Hugo
|
|
2017
|
|
4 |
p. 703-760
|
artikel
|
| 104 |
The Undecidability of Quantified Announcements
|
Ågotnes, T.
|
|
2016
|
|
4 |
p. 597-640
|
artikel
|
| 105 |
Tolerance and Mixed Consequence in the S’valuationist Setting
|
Cobreros, Pablo
|
|
2012
|
|
4 |
p. 855-877
|
artikel
|
| 106 |
Tractability and Intractability of Controlled Languages for Data Access
|
Thorne, Camilo
|
|
2012
|
|
4 |
p. 787-813
|
artikel
|
| 107 |
Twist Structures and Nelson Conuclei
|
Busaniche, Manuela
|
|
|
|
4 |
p. 949-987
|
artikel
|
| 108 |
Two Views of the Logic of Plurals and a Reduction of One to the Other
|
Cocchiarella, Nino B.
|
|
2014
|
|
4 |
p. 757-780
|
artikel
|
| 109 |
Undecidability of First-Order Modal and Intuitionistic Logics with Two Variables and One Monadic Predicate Letter
|
Rybakov, Mikhail
|
|
2018
|
|
4 |
p. 695-717
|
artikel
|
| 110 |
Undecidability of First-Order Modal and Intuitionistic Logics with Two Variables and One Monadic Predicate Letter
|
Rybakov, Mikhail
|
|
|
|
4 |
p. 695-717
|
artikel
|
| 111 |
Varieties of BL-Algebras II
|
Aglianò, P.
|
|
2017
|
|
4 |
p. 721-737
|
artikel
|
| 112 |
Williamson’s Abductive Case for the Material Conditional Account
|
van Rooij, Robert
|
|
|
|
4 |
p. 653-685
|
artikel
|
Tijdschrift beschrijving