International Journal of Global Community (Riksawan Institute - IJGC-RI)
Not a member yet
12510 research outputs found
Sort by
De Tabaksblat risicoparagraaf in Nederlandse jaarverslagen:een eerste analyse van inhoud en effect
No full textHybrid logics with infinitary proof systems
No full textWe provide a strongly complete infinitary proof system for hybrid logic. This proof system can be extended with countably many sequents. Thus, although these logics may be non-compact, strong completeness proofs are provided for infinitary hybrid versions of non-compact logics like ancestral logic and Segerberg's modal logic with the bounded chain condition. This extends the completeness result for hybrid logics by Gargov, Passy, and Tinchev.</p
