PL EN


Preferences help
enabled [disable] Abstract
Number of results
2011 | 46 |
Article title

Bisimulation Quotients of Veltman Models

Content
Title variants
Languages of publication
PL
Abstracts
PL
Interpretability logic is a modal description of the interpretability predicate. The modal system IL is an extension of the provability logic GL (Gödel–Löb). Bisimulation quotients and largest bisimulations have been well studied for Kripke models. We examine interpretability logic and consider how these results extend to Veltman models
Keywords
PL
 
Publisher
Year
Volume
46
Physical description
Dates
published
2011
online
07 - 07 - 2015
Contributors
References
Document Type
Publication order reference
Identifiers
YADDA identifier
bwmeta1.element.ojs-issn-2084-2589-year-2011-volume-46-article-2880
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.