| Dynamic Epistemic Logics of Diffusion and Prediction in Social Networks |
4 |
| A Deterministic Weakening of Belnap-Dunn Logic |
4 |
| Arithmetical Completeness Theorem for Modal Logic |
3 |
| The Dynamics of Epistemic Attitudes in Resource-Bounded Agents |
3 |
| Arithmetical Soundness and Completeness for Sigma(2) Numerations |
3 |
| Pure Modal Logic of Names and Tableau Systems |
2 |
| The Structure Group of a Generalized Orthomodular Lattice |
2 |
| Axiomatizing the Logic of Imagination |
2 |
| Infinite Populations, Choice and Determinacy |
2 |
| Principal and Boolean Congruences on -Algebras |
1 |
| Varieties of BL-Algebras II |
1 |
| Poset Product and BL-Chains |
1 |
| First-Order Modal Logic: Frame Definability and a Lindstrom Theorem |
1 |
| l-Hemi-Implicative Semilattices |
1 |
| Inference as Doxastic Agency. Part I: The Basics of Justification Stit Logic |
1 |
| Is There a Hilbert Thesis? |
1 |
| Logicality, Double-Line Rules, and Modalities |
1 |
| A Duality for Involutive Bisemilattices |
1 |
| Stone-Type Representations and Dualities for Varieties of Bisemilattices |
1 |
| Equivalences Among Polarity Algorithms |
1 |
| Propositional Epistemic Logics with Quantification Over Agents of Knowledge |
1 |
| On Argumentation Logic and Propositional Logic |
1 |
| A Study in Grzegorczyk Point-Free Topology Part II: Spaces of Points |
1 |
| Duality Theory and Skeleta for Semisimple MV-Algebras |
1 |
| Bisimulation for Conditional Modalities |
1 |
| The Finite Model Property for Logics with the Tangle Modality |
1 |
| A Second Pretabular Classical Relevance Logic |
1 |
| Undecidability of First-Order Modal and Intuitionistic Logics with Two Variables and One Monadic Predicate Letter |
1 |
| Eight Inference Rules for Implication |
1 |
| A Propositional Dynamic Logic for Instantial Neighborhood Semantics |
1 |
| Convex MV-Algebras: Many-Valued Logics Meet Decision Theory |
1 |
| Causal Learning with Occam's Razor |
1 |
| Private Announcements on Topological Spaces |
1 |
| Sequent Calculi for Semi-De Morgan and De Morgan Algebras |
1 |
| Varieties of BL-Algebras III: Splitting Algebras |
1 |
| The Balanced Pseudocomplemented Ockham Algebras with the Strong Endomorphism Kernel Property |
1 |
| The Monodic Fragment of Propositional Term Modal Logic |
1 |
| Logics for Moderate Belief-Disagreement Between Agents |
0 |
| A Cut-Free Sequent Calculus for Defeasible Erotetic Inferences |
0 |
| Valuations: Bi, Tri, and Tetra |
0 |
| Completeness in Equational Hybrid Propositional Type Theory |
0 |
| Disjunction and Existence Properties in Inquisitive First-Order Logic |
0 |
| Categorical Equivalence Between PMVf-Product Algebras and Semi-Low f(u)-Rings |
0 |
| Translations Between Gentzen-Prawitz and Jaskowski-Fitch Natural Deduction Proofs |
0 |
| On Tarski's Axiomatization of Mereology |
0 |
| Hintikka's Independence-Friendly Logic Meets Nelson's Realizability |
0 |
| Truth, Partial Logic and Infinitary Proof Systems |
0 |
| Eliciting Uncertainties: A Two Structure Approach |
0 |
| Reconstructing the Topology of the Elementary Self-embedding Monoids of Countable Saturated Structures |
0 |
| Sequent Calculi for SCI |
0 |
