Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Logics of Programs and Their Applications: Proceedings, Poznan, August 23-29, 1980 > Nonstandard models in Propositional Dynamic Logic
Logics of Programs and Their Applications: Proceedings, Poznan, August 23-29, 1980 |
A. Salwicki
Springer Berlin Heidelberg
Logics of Programs and Their Applications: Proceedings, Poznan, August 23-29, 1980
Nonstandard models in Propositional Dynamic Logic
Authors

Francine Berman

ARI Id

1674219667125_2037573

Access

Open/Free Access

Pages

81-85

DOI

10.1007/3-540-11981-7_4

Chapter URL

https://rd.springer.com/chapter/10.1007/3-540-11981-7_4

Table of Contents of Book
Showing 1 to 20 of 24 entries
Chapters/HeadingsAuthor(s)PagesInfo
Front Matter
Sharpening the characterization of the power of Floyd method
H. Andréka
1-26
On proving program correctness by means of stepwise refinement method
Lech Banachowski
27-44
Semantics and implementation of prefixing at many levels
W. M. Bartol; A. Kreczmar; A. I. Litwiniuk; H. Oktaba
45-80
Nonstandard models in Propositional Dynamic Logic
Francine Berman
81-85
On priorities of parallelism: Petri nets under the maximum firing strategy
Hans-Dieter Burhard
86-97
On four logics of programs and complexity of their satisfiability problems: Extended abstract
Bogdan S. Chlebus
98-107
Are infinite behaviours of parallel system schemata necessary?
Ludwik Czaja
108-117
Algorithmic properties of finitely generated structures
Wiktor Dańko
118-131
Algebraic semantics and program logics: Algorithmic logic for program trees
Patrice Enjalbert
132-147
Some model-theoretical properties of logic for programs with random control
Extended Abstract
148-155
A formal system for parallel programs in discrete time and space
Hiroya Kawai
156-165
On the propositional algorithmic theory of arithmetic
Grazyna Mirkowska
166-185
Nonstandard runs of Floyd-provable programs
I. Németi
186-204
On some extensions of dynamic logic
Ewa Orłowska
205-212
On algorithmic logic with partial operations
Uwe Petermann
213-223
Towards a theory of parallelism and communications for increasing efficiency in applicative languages
Alberto Pettorossi
224-249
An operational semantics for CSP
Gordon Plotkin
250-252
Programming languages and logics of programs
S. R. Radev
253-257
Concurrent programs
Andrzej Skowron
258-269
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 24 entries
Similar Books
Similar Chapters
Similar Thesis

Similar News

Similar Articles
Similar Article Headings