de.mpg.escidoc.pubman.appbase.FacesBean
Deutsch
 
Hilfe Wegweiser Impressum Kontakt Einloggen
  DetailsucheBrowse

Datensatz

DATENSATZ AKTIONENEXPORT

Freigegeben

Zeitschriftenartikel

Hybrid Completeness

MPG-Autoren
http://pubman.mpdl.mpg.de/cone/persons/resource/persons45645

Tzakova,  Miroslava
Programming Logics, MPI for Informatics, Max Planck Society;

Externe Ressourcen
Es sind keine Externen Ressourcen verfügbar
Volltexte (frei zugänglich)
Es sind keine frei zugänglichen Volltexte verfügbar
Ergänzendes Material (frei zugänglich)
Es sind keine frei zugänglichen Ergänzenden Materialien verfügbar
Zitation

Blackburn, P., & Tzakova, M. (1998). Hybrid Completeness. Logic Journal of the IGPL, 6(4), 625-650.


Zitierlink: http://hdl.handle.net/11858/00-001M-0000-000F-3841-4
Zusammenfassung
In this paper we discuss two {\em hybrid languages\/}, ${\cal L}(\forall)$ and ${\cal L}(\downarrow)$, and provide them with complete axiomatizations. Both languages combine features of modal and classical logic. Like modal languages, they contain modal operators and have a Kripke semantics. Unlike modal languages, in these systems it is possible to `label' states by using $\forall$ and $\downarrow$ to bind special {\em state variables\/}. This paper explores the consequences of hybridization for completeness. As we shall show, the challenge is to blend the modal idea of {\em canonical models\/} with the classical idea of {\em witnessed\/} maximal consistent sets. The languages ${\cal L}(\forall)$ and ${\cal L}(\downarrow)$ provide us with two extreme examples of the issues involved. In the case of ${\cal L}(\forall)$, we can combine these ideas relatively straightforwardly with the aid of analogs of the {\em Barcan\/} axioms coupled with a {\em modal theory of labeling\/}. In the case of ${\cal L}(\downarrow)$, on the other hand, although we can still formulate a theory of labeling, the Barcan analogs are not valid. We show how to overcome this difficulty by using $\mbox{{\it COV}}^{ \ \ast}$, an infinite collection of additional rules of proof which has been used in a number of investigations of extended modal logic.