|
|
||
Meaning in Flux |
||
Paul Gochet |
||
|
|
||
|
Keywords: Meaning, Dynamics, Modal logic, Programming language, Postconditions, Sequent calculus. |
||
|
|
||
|
|
||
|
|
||
|
Spinning Ideas, Electronic Essays Dedicated to Peter Gärdenfors on His Fiftieth Birthday |
||