Sciweavers

3831 search results - page 74 / 767
» Dynamic Context Logic
Sort
View
60
Voted
CORR
2002
Springer
77views Education» more  CORR 2002»
15 years 12 days ago
A Dynamic Approach to Characterizing Termination of General Logic Programs
Yi-Dong Shen, Jia-Huai You, Li-Yan Yuan, Samuel S....
75
Voted
APAL
1999
74views more  APAL 1999»
15 years 8 days ago
Dynamic Linear Time Temporal Logic
Jesper G. Henriksen, P. S. Thiagarajan
TARK
2007
Springer
15 years 6 months ago
What can we achieve by arbitrary announcements?: A dynamic take on Fitch's knowability
Public announcement logic is an extension of multi-agent epistemic logic with dynamic operators to model the informational consequences of announcements to the entire group of age...
Philippe Balbiani, Alexandru Baltag, Hans P. van D...