Complete axiomatization of algorithmic properties of program schemes with bounded nondeterministic interpretations

1980 ◽  
Author(s):  
Grazyna Mirkowska
Keyword(s):  
Complete Axiomatization

scholarly journals The Dynamic Epistemic Logic for Actual Knowledge

2020 ◽  
Vol 49 (1) ◽  
Author(s):  
Arkadiusz Wójcik
Keyword(s):  
Epistemic Logic ◽  
Dynamic Epistemic Logic ◽  
Logical Omniscience ◽  
Actual Knowledge ◽  
Knowledge Change ◽  
The Past ◽  
Knowledge Models ◽  
Complete Axiomatization ◽  
New Information

The dynamic epistemic logic for actual knowledge models the phenomenon of actual knowledge change when new information is received. In contrast to the systems of dynamic epistemic logic which have been discussed in the past literature, our system is not burdened with the problem of logical omniscience, that is, an idealized assumption that the agent explicitly knows all classical tautologies and all logical consequences of his or her knowledge. We provide a sound and complete axiomatization for this logic.

Complexity and Axiomatization

2016 ◽  
Author(s):  
Joseph Y. Halpern
Keyword(s):  
Causal Models ◽  
Compact Representation ◽  
Complete Axiomatization

Causal models are potentially quite large and difficult to describe, especially once they include information about normality and typicality. In this chapter it is shown that it is often possible to achieve a compact representation of causal models without losing any information. In addition, a complete axiomatization of a language for reasoning about causality is provided.

Sign in / Sign up

Export Citation Format

Share Document