A Propositional Dynamic Logic Approach for Order of Magnitude Reasoning

2009 ◽  
pp. 11-20 ◽  
Author(s):  
A. Burrieza ◽  
E. Muñoz-Velasco ◽  
M. Ojeda-Aciego
Keyword(s):  
Dynamic Logic ◽  
Propositional Dynamic Logic ◽  
Order Of Magnitude ◽  
Logic Approach

scholarly journals Dynamic Linear Time Temporal Logic

1997 ◽  
Vol 4 (8) ◽  
Author(s):  
Jesper G. Henriksen ◽  
P. S. Thiagarajan
Keyword(s):  
Temporal Logic ◽  
Linear Time ◽  
Dynamic Logic ◽  
Order Theory ◽  
Simple Extension ◽  
Propositional Dynamic Logic ◽  
First Order ◽  
Time Semantics ◽  
Linear Time Temporal Logic ◽  
Obvious Manner

A simple extension of the propositional temporal logic of linear<br />time is proposed. The extension consists of strengthening the until<br />operator by indexing it with the regular programs of propositional<br />dynamic logic (PDL). It is shown that DLTL, the resulting logic, is<br />expressively equivalent to S1S, the monadic second-order theory<br />of omega-sequences. In fact a sublogic of DLTL which corresponds<br />to propositional dynamic logic with a linear time semantics is<br />already as expressive as S1S. We pin down in an obvious manner<br />the sublogic of DLTL which correponds to the first order fragment<br />of S1S. We show that DLTL has an exponential time decision<br />procedure. We also obtain an axiomatization of DLTL. Finally,<br />we point to some natural extensions of the approach presented<br />here for bringing together propositional dynamic and temporal<br />logics in a linear time setting.

Semantics of looping programs in Propositional Dynamic Logic

1981 ◽  
Vol 15 (1) ◽  
pp. 285-294 ◽  
Author(s):  
Francine Berman
Keyword(s):  
Dynamic Logic ◽  
Propositional Dynamic Logic
Sign in / Sign up

Export Citation Format

Share Document