The leading idea of Lvov-Warsaw School of Logic, Philosophy and Mathematics was to investigate philosophical problems by means of rigorous methods of mathematics. Evidence of the great success the School experienced is the fact that it has become generally recognized as Polish Style Logic. Today Polish Style Logic is no longer exclusively a Polish speciality. It is represented by numerous logicians, mathematicians and philosophers from research centers all over the world.
利沃夫-华沙逻辑、哲学和数学学派的主要思想是通过严格的数学方法来研究哲学问题。证据的巨大成功的学校经历的事实是，它已成为公认的波兰风格的逻辑。今天，波兰风格逻辑不再是波兰独有的专业。它的代表是来自世界各地研究中心的众多逻辑学家、数学家和哲学家。
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
