Epistemic, Default and Dynamic Logics

2022 ◽  
pp. 105-140
Author(s):  
Lech T. Polkowski
Keyword(s):  
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 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

scholarly journals A Calculus for Automatic Verification of Petri Nets Based on Resolution and Dynamic Logics

2015 ◽  
Vol 312 ◽  
pp. 125-141 ◽  
Author(s):  
Cláudia Nalon ◽  
Bruno Lopes ◽  
Gilles Dowek ◽  
Edward Hermann Haeusler
Keyword(s):  
Petri Nets ◽  
Automatic Verification ◽  
Dynamic Logics

scholarly journals INSTANTIAL NEIGHBOURHOOD LOGIC

2016 ◽  
Vol 10 (1) ◽  
pp. 116-144 ◽  
Author(s):  
JOHAN VAN BENTHEM ◽  
NICK BEZHANISHVILI ◽  
SEBASTIAN ENQVIST ◽  
JUNHUA YU
Keyword(s):  
Fine Structure ◽  
Normal Form ◽  
Axiom System ◽  
Topological Spaces ◽  
Relational Semantics ◽  
Basic Model ◽  
Semantic Tableaux ◽  
Dynamic Logics ◽  
A Current

AbstractThis paper explores a new language of neighbourhood structures where existential information can be given about what kind of worlds occur in a neighbourhood of a current world. The resulting system of ‘instantial neighbourhood logic’ INL has a nontrivial mix of features from relational semantics and from neighbourhood semantics. We explore some basic model-theoretic behavior, including a matching notion of bisimulation, and give a complete axiom system for which we prove completeness by a new normal form technique. In addition, we relate INL to other modal logics by means of translations, and determine its precise SAT complexity. Finally, we discuss proof-theoretic fine-structure of INL in terms of semantic tableaux and some expressive fine-structure in terms of fragments, while discussing concrete illustrations of the instantial neighborhood language in topological spaces, in games with powers for players construed in a new way, as well as in dynamic logics of acquiring or deleting evidence. We conclude with some coalgebraic perspectives on what is achieved in this paper. Many of these final themes suggest follow-up work of independent interest.

Sign in / Sign up

Export Citation Format

Share Document