Dynamic Epistemic Logics of Diffusion and Prediction in Social Networks
来源期刊:Studia LogicaDOI:10.1007/S11225-018-9804-X
Inference as Doxastic Agency. Part I: The Basics of Justification Stit Logic
来源期刊:Studia LogicaDOI:10.1007/s11225-017-9779-z
The Naturality of Natural Deduction
来源期刊:Studia LogicaDOI:10.1007/s11225-017-9772-6
Proof Compression and NP Versus PSPACE
来源期刊:Studia LogicaDOI:10.1007/s11225-017-9773-5
A Duality for Involutive Bisemilattices
来源期刊:Studia LogicaDOI:10.1007/s11225-018-9801-0
The Dynamics of Epistemic Attitudes in Resource-Bounded Agents
来源期刊:Studia LogicaDOI:10.1007/S11225-018-9798-4
Axiomatizing the Logic of Imagination
来源期刊:Studia LogicaDOI:10.1007/S11225-018-9810-Z
A Propositional Dynamic Logic for Instantial Neighborhood Semantics
来源期刊:Studia LogicaDOI:10.1007/S11225-018-9825-5
Undecidability of First-Order Modal and Intuitionistic Logics with Two Variables and One Monadic Predicate Letter
来源期刊:Studia LogicaDOI:10.1007/s11225-018-9815-7
The Monodic Fragment of Propositional Term Modal Logic
来源期刊:Studia LogicaDOI:10.1007/S11225-018-9784-X
Varieties of BL-Algebras III: Splitting Algebras
来源期刊:Studia LogicaDOI:10.1007/S11225-018-9836-2
A Categorical Equivalence for Stonean Residuated Lattices
来源期刊:Studia LogicaDOI:10.1007/s11225-018-9800-1
A Cut-Free Sequent Calculus for Defeasible Erotetic Inferences
来源期刊:Studia LogicaDOI:10.1007/s11225-018-9839-z
Truth-Tracking by Belief Revision
来源期刊:Studia LogicaDOI:10.1007/S11225-018-9812-X
Is There a “Hilbert Thesis”?
来源期刊:Studia LogicaDOI:10.1007/s11225-017-9776-2
Valuations: Bi, Tri, and Tetra
来源期刊:Studia LogicaDOI:10.1007/S11225-018-9837-1
Theory Choice, Theory Change, and Inductive Truth-Conduciveness
来源期刊:Studia LogicaDOI:10.1007/S11225-018-9809-5
A Deterministic Weakening of Belnap–Dunn Logic
来源期刊:Studia LogicaDOI:10.1007/s11225-018-9792-x
The Fundamental Problem of General Proof Theory
来源期刊:Studia LogicaDOI:10.1007/s11225-018-9785-9
Logicality, Double-Line Rules, and Modalities
来源期刊:Studia LogicaDOI:10.1007/s11225-017-9778-0
Disjunction and Existence Properties in Inquisitive First-Order Logic
来源期刊:Studia LogicaDOI:10.1007/S11225-018-9835-3
Intermediate Logics Admitting a Structural Hypersequent Calculus
来源期刊:Studia LogicaDOI:10.1007/s11225-018-9791-y
Causal Learning with Occam’s Razor
来源期刊:Studia LogicaDOI:10.1007/S11225-018-9829-1
Sequent Calculi for Global Modal Consequence Relations
来源期刊:Studia LogicaDOI:10.1007/S11225-018-9806-8
Completeness in Equational Hybrid Propositional Type Theory
来源期刊:Studia LogicaDOI:10.1007/S11225-018-9833-5
Analyticity, Balance and Non-admissibility of $$\\varvec{Cut}$$Cut in Stoic Logic
来源期刊:Studia LogicaDOI:10.1007/s11225-018-9797-5
General Proof Theory: Introduction
来源期刊:Studia LogicaDOI:10.1007/s11225-018-9818-4
Back to Basics: Belief Revision Through Direct Selection
来源期刊:Studia LogicaDOI:10.1007/S11225-018-9807-7
Translations Between Gentzen–Prawitz and Jaśkowski–Fitch Natural Deduction Proofs
来源期刊:Studia LogicaDOI:10.1007/S11225-018-9828-2
Eight Inference Rules for Implication
来源期刊:Studia LogicaDOI:10.1007/S11225-018-9821-9
Gödel on Deduction
来源期刊:Studia LogicaDOI:10.1007/s11225-017-9774-4
The Balanced Pseudocomplemented Ockham Algebras with the Strong Endomorphism Kernel Property
来源期刊:Studia LogicaDOI:10.1007/S11225-018-9838-0
Incompleteness of Intuitionistic Propositional Logic with Respect to Proof-Theoretic Semantics
来源期刊:Studia LogicaDOI:10.1007/s11225-018-9823-7
MS-Algebras Whose e-Ideals are Kernel Ideals
来源期刊:Studia LogicaDOI:10.1007/S11225-018-9805-9
An Epistemic Approach to Nondeterminism: Believing in the Simplest Course of Events
来源期刊:Studia LogicaDOI:10.1007/S11225-018-9808-6
A Study in Grzegorczyk Point-Free Topology Part II: Spaces of Points
来源期刊:Studia LogicaDOI:10.1007/S11225-018-9822-8
Propositional Epistemic Logics with Quantification Over Agents of Knowledge (An Alternative Approach)
来源期刊:Studia LogicaDOI:10.1007/S11225-018-9824-6
Logics for Moderate Belief-Disagreement Between Agents
来源期刊:Studia LogicaDOI:10.1007/S11225-018-9790-Z
Rasiowa–Sikorski Deduction Systems with the Rule of Cut: A Case Study
来源期刊:Studia LogicaDOI:10.1007/s11225-018-9795-7
On Monadic Operators on Modal Pseudocomplemented De Morgan Algebras and Tetravalent Modal Algebras
来源期刊:Studia LogicaDOI:10.1007/S11225-018-9802-Z
Nonmonotonicity in the Framework of Parametric Logic
来源期刊:Studia LogicaDOI:10.1007/S11225-018-9831-7
Book Reviews
来源期刊:Studia LogicaDOI:10.1007/s11225-019-09856-3
Correction to: Complexity of the Universal Theory of Modal Algebras
来源期刊:Studia LogicaDOI:10.1007/S11225-019-09853-6
On Tarski’s Axiomatization of Mereology
来源期刊:Studia LogicaDOI:10.1007/S11225-018-9819-3
Postponement of $$\\mathsf {raa}$$raa and Glivenko’s Theorem, Revisited
来源期刊:Studia LogicaDOI:10.1007/s11225-017-9781-5
On Principal Congruences in Distributive Lattices with a Commutative Monoidal Operation and an Implication
来源期刊:Studia LogicaDOI:10.1007/s11225-018-9796-6
Correspondence, Canonicity, and Model Theory for Monotonic Modal Logics
来源期刊:Studia LogicaDOI:10.1007/s11225-020-09911-4
Epistemic Logic, Monotonicity, and the Halbach–Welch Rapprochement Strategy
来源期刊:Studia LogicaDOI:10.1007/S11225-018-9811-Y