Paper Info
Title
Stability of weak second-order semantics
Abstract
By extending the underlying data structure by new elements, we also extend the intput/output relation generated by a program i.e., no existing run is killed, and no new one lying entirely in the old structure is created. We investigate this stability property for the weak second order semantics derived from nonstandard time models. It turns out that the light face, i.e., parameterless collection principle always induces stable semantics, but the bold face one may be unstable. We give an example where an elementary extension kills a ‘bold face run’ showing also that the light face semantics is strictly weaker than the bold face one.
Year
DOI
Venue
1988
10.1007/BF00370550
Studia Logica
Keywords
Field
DocType
Data Structure,Mathematical Logic,Stability Property,Time Model,Computational Linguistic
Data structure,Lying,Algorithm,Time model,Mathematics,Semantics,Mathematical logic
Journal
Volume
Issue
Citations 
47
3
0
PageRank 
References 
Authors
0.34
4
1
Name
Order
Citations
PageRank
László Csirmaz116315.86