๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Proof Analysis in Modal Logic

โœ Scribed by Sara Negri


Book ID
106452559
Publisher
Springer Netherlands
Year
2005
Tongue
English
Weight
362 KB
Volume
34
Category
Article
ISSN
0022-3611

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


Proof Theory for Modal Logic
โœ Sara Negri ๐Ÿ“‚ Article ๐Ÿ“… 2011 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 138 KB
Proof analysis in intermediate logics
โœ Roy Dyckhoff; Sara Negri ๐Ÿ“‚ Article ๐Ÿ“… 2011 ๐Ÿ› Springer ๐ŸŒ English โš– 242 KB
On the Proof Theory of the Modal Logic G
โœ M. Borga; P. Gentilini ๐Ÿ“‚ Article ๐Ÿ“… 1986 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 246 KB ๐Ÿ‘ 1 views