All Normal Extensions of S5-Squared Are Finitely Axiomatizable
- 期刊名称Studia Logica: An International Journal for Symbolic Logic
- 作者Nick Bezhanishvili and Ian Hodkinson
- 卷第78卷
- 期第3期
- 印刷ISSN0039-3215
- 电子ISSN1572-8730
- 文件大小1488.69KB
- 发表时间2004-12
- DOI10.2307/20016667
- 页码443-457
Looking Back at the Seventies? || Back MatterThe Agni Review · 1979
Back to Basics || Back MatterThe Radical Teacher · 1982
BACK TO BASICS || Back MatterLitigation · 1998
Back to the Things Themselves || Back MatterHuman Studies · 1997
Back Matter - Back CoverUniform Law Review - Revue de droit uniforme · 2014
Back Matter - Back CoverUniform Law Review - Revue de droit uniforme · 2014
Back Matter - Back CoverUniform Law Review - Revue de droit uniforme · 2013
Back Matter - Back CoverUniform Law Review - Revue de droit uniforme · 2014
Vagueness || Reasoning with Slippery PredicatesStewart Shapiro · Studia Logica: An International Journal for Symbolic Logic · 2008
A Compact Representation of ProofsDale A. Miller · Studia Logica: An International Journal for Symbolic Logic · 1987
Minimally Inconsistent LPGraham Priest · Studia Logica: An International Journal for Symbolic Logic · 1991
O dwojakim rozumieniu uzasadniania dedukcyjnegoMaria Kokoszyńska · Studia Logica: An International Journal for Symbolic Logic · 1962
Combining Logics II || Front MatterStudia Logica: An International Journal for Symbolic Logic · 1997
On Proofs of RejectionWalenty Staszek · Studia Logica: An International Journal for Symbolic Logic · 1971
On Deontic LogicLeon Gumański · Studia Logica: An International Journal for Symbolic Logic · 1980
Logic of Action || Back MatterStudia Logica: An International Journal for Symbolic Logic · 1992