Libels in the City. Bill Casting in Fifteenth-Century Flanders and Brabant
- 期刊名称The Medieval Low Countries
- 作者Haemers, Jelle; Vrancken, Valerie
- 卷第4卷
- 印刷ISSN2295-3493
- 电子ISSN2507-0363
- 文件大小235.45KB
- 发表时间2017-01
- DOI10.1484/J.MLC.5.114818
- 页码165-187
Modal system ${rm S}4.4$.Sobociński, Bolesław · Notre Dame Journal of Formal Logic · 1964
A note on modal systems.Sobociński, Bolesław · Notre Dame Journal of Formal Logic · 1963
Awkward axiom-systems.Sobociński, Bolesław · Notre Dame Journal of Formal Logic · 1978
Certain extensions of modal system $S4$.Sobociński, Bolesław · Notre Dame Journal of Formal Logic · 1970
A new formalization of Newman algebra.Sobociński, Bolesław · Notre Dame Journal of Formal Logic · 1972
Concerning some extensions of ${rm S}4$.Sobociński, Bolesław · Notre Dame Journal of Formal Logic · 1971
Note on a Problem of Paul BernaysBolesław Sobociński · The Journal of Symbolic Logic · 1955
An equational axiomatization of associative Newman algebras.Sobociński, Bolesław · Notre Dame Journal of Formal Logic · 1972
Compressibility and Kolmogorov ComplexityBinns, Stephen; Nicholson, Marie · Notre Dame Journal of Formal Logic · 2013
Weak Theories of Concatenation and ArithmeticHorihata, Yoshihiro · Notre Dame Journal of Formal Logic · 2012
On Existence in Set TheoryFreire, Rodrigo A. · Notre Dame Journal of Formal Logic · 2012
On Generalizing KolmogorovDietz, Richard · Notre Dame Journal of Formal Logic · 2010
Metalogic of Intuitionistic Propositional CalculusCitkin, Alex · Notre Dame Journal of Formal Logic · 2010
On a family of paradoxes.Prior, A. N. · Notre Dame Journal of Formal Logic · 1961
Degrees of Relative ProvabilityCai, Mingzhong · Notre Dame Journal of Formal Logic · 2012
The Computational Content of Arithmetical ProofsHetzl, Stefan · Notre Dame Journal of Formal Logic · 2012