scholarly journals Strong Completeness for Iteration-Free Coalgebraic Dynamic Logics

2014 ◽  
pp. 281-295 ◽  
Author(s):  
Helle Hvid Hansen ◽  
Clemens Kupke ◽  
Raul Andres Leal
Keyword(s):  
Strong Completeness ◽  
Dynamic Logics

On Sequential Form of Functional Dynamic Logics

1984 ◽  
Vol 7 (3) ◽  
pp. 357-358
Author(s):  
Regimantas Pliuškevičius
Keyword(s):  
Axiom Systems ◽  
Dynamic Logics

A Gentzen-style axiomatization of dynamic logics is proposed. It is compared to other axiom systems for dynamic logics. Some problems of relative decidability are considered.

scholarly journals INFINITARY PROPOSITIONAL RELEVANT LANGUAGES WITH ABSURDITY

2017 ◽  
Vol 10 (4) ◽  
pp. 663-681
Author(s):  
GUILLERMO BADIA
Keyword(s):  
Expressive Power ◽  
Interpolation Theorem ◽  
Boolean Logic ◽  
Isomorphism Theorem ◽  
Strong Completeness ◽  
Lack Of Compactness ◽  
Relevant Logics ◽  
Beth Definability ◽  
Beth Definability Property

AbstractAnalogues of Scott’s isomorphism theorem, Karp’s theorem as well as results on lack of compactness and strong completeness are established for infinitary propositional relevant logics. An “interpolation theorem” (of a particular sort introduced by Barwise and van Benthem) for the infinitary quantificational boolean logic L∞ω holds. This yields a preservation result characterizing the expressive power of infinitary relevant languages with absurdity using the model-theoretic relation of relevant directed bisimulation as well as a Beth definability property.

scholarly journals The formal strong completeness of partial monoidal Boolean BI

2014 ◽  
Vol 26 (2) ◽  
pp. 605-640 ◽  
Author(s):  
Dominique Larchey-Wendling
Keyword(s):  
Strong Completeness

scholarly journals A Note on Ciuciura’s mbC1

2019 ◽  
Vol 48 (3) ◽  
pp. 161-171
Author(s):  
Hitoshi Omori
Keyword(s):  
Proof System ◽  
Strong Completeness

This note offers a non-deterministic semantics for mbC1, introduced by Janusz Ciuciura, and establishes soundness and (strong) completeness results with respect to the Hilbert-style proof system. Moreover, based on the new semantics, we briefly discuss an unexplored variant of mbC1 which has a contra-classical flavor.

scholarly journals STRONG COMPLETENESS OF MODAL LOGICS OVER 0-DIMENSIONAL METRIC SPACES

2019 ◽  
Vol 13 (3) ◽  
pp. 611-632
Author(s):  
ROBERT GOLDBLATT ◽  
IAN HODKINSON
Keyword(s):  
Metric Spaces ◽  
Deductive System ◽  
Modal Logics ◽  
Topological Semantics ◽  
Strong Completeness

AbstractWe prove strong completeness results for some modal logics with the universal modality, with respect to their topological semantics over 0-dimensional dense-in-themselves metric spaces. We also use failure of compactness to show that, for some languages and spaces, no standard modal deductive system is strongly complete.

scholarly journals The comparison of the expressive power of first-order dynamic logics

1983 ◽  
Vol 27 (1-2) ◽  
pp. 197-209 ◽  
Author(s):  
A.P. Stolboushkin ◽  
M.A. Taitslin
Keyword(s):  
Expressive Power ◽  
First Order ◽  
Dynamic Logics

scholarly journals Decidability of finite probabilistic propositional dynamic logics

1991 ◽  
Vol 94 (2) ◽  
pp. 180-203 ◽  
Author(s):  
M. Tiomkin ◽  
J.A. Makowsky
Keyword(s):  
Dynamic Logics
Sign in / Sign up

Export Citation Format

Share Document