As of 1 April 2026, the PSJD database will become an archive and will no longer accept new data.
Current publications from Polish scientific journals are available through the Library of Science: https://bibliotekanauki.pl

PL EN

Preferences help
Polish version English version Language
enabled [disable] Abstract
Number of results

Journal

Reports on Mathematical Logic

2011 | 46 |

Article title

Bisimulation Quotients of Veltman Models

Authors

Domagoj Vrgoč , Mladen Vuković

Content

Full texts:
2880-2881.pdf

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

[unknown2]

Journal

Reports on Mathematical Logic

Year

2011

Volume

46

Physical description

Dates

published
2011
online
07 - 07 - 2015

Contributors

author
Domagoj Vrgoč
author
Mladen Vuković

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.