Full-text resources of PSJD and other databases are now available in the new Library of Science.
Visit https://bibliotekanauki.pl

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.