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

Proof Theory for Modal Logic

โœ Scribed by Sara Negri

Book ID
111378862
Publisher
John Wiley and Sons
Year
2011
Tongue
English
Weight
138 KB
Volume
6
Category
Article
ISSN
1747-9991

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

On the Proof Theory of the Modal Logic G
On the Proof Theory of the Modal Logic Grz
โœ M. Borga; P. Gentilini ๐Ÿ“‚ Article ๐Ÿ“… 1986 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 246 KB ๐Ÿ‘ 1 views
Proof Analysis in Modal Logic
Proof Analysis in Modal Logic
โœ Sara Negri ๐Ÿ“‚ Article ๐Ÿ“… 2005 ๐Ÿ› Springer Netherlands ๐ŸŒ English โš– 362 KB
Proof Theories for Semilattice Logics
Proof Theories for Semilattice Logics
โœ Steve Giambrone; Alasdaire Urquhart ๐Ÿ“‚ Article ๐Ÿ“… 1987 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 400 KB
Modal Logic for Rewriting Theories
Modal Logic for Rewriting Theories
โœ Dirk Pattinson ๐Ÿ“‚ Article ๐Ÿ“… 2000 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 203 KB

We view models of rewrite theories enriched with observations coalgebraically. This allows us on the one hand to use "off the shelf" logics for coalgebras to specify and, on the other hand, to verify properties of rewriting programs and to obtain results about the expressive power of such languages.