Browse
Publications
Preprints
About
About UCL Open: Env.
Aims and Scope
Editorial Board
Indexing
APCs
How to cite
Publishing policies
Editorial policy
Peer review policy
Equality, Diversity & Inclusion
About UCL Press
Contact us
For authors
Information for authors
How it works
Benefits of publishing with us
Submit
How to submit
Preparing your manuscript
Article types
Open Data
ORCID
APCs
Contributor agreement
For reviewers
Information for reviewers
Review process
How to peer review
Peer review policy
My ScienceOpen
Sign in
Register
Dashboard
Search
Browse
Publications
Preprints
About
About UCL Open: Env.
Aims and Scope
Editorial Board
Indexing
APCs
How to cite
Publishing policies
Editorial policy
Peer review policy
Equality, Diversity & Inclusion
About UCL Press
Contact us
For authors
Information for authors
How it works
Benefits of publishing with us
Submit
How to submit
Preparing your manuscript
Article types
Open Data
ORCID
APCs
Contributor agreement
For reviewers
Information for reviewers
Review process
How to peer review
Peer review policy
My ScienceOpen
Sign in
Register
Dashboard
Search
5
views
0
references
Top references
cited by
1
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
1,734
similar
All similar
Record
: found
Abstract
: not found
Book
: not found
Executable Modal and Temporal Logics, vol 897 of Lecture Notes in Artificial Intelligence
Author(s):
Kono
Publication date:
1995
Read this book at
Bookmark
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Artificial Intelligence in Medicine
Data availability:
Comments
Comment on this book
Sign in to comment
Similar content
1,734
897. Investigation of new fluids for use in liquid manometers adapted for the differential pressure measurement of rarefied gases
Authors:
Corrigendum to “Influence of a graphite shell on the thermal and electromagnetic characteristics of FeNi nanoparticles” [Carbon 48 (2010) 891–897]
Authors:
X.G. Liu
,
Z.Q. Ou
,
D.Y. Geng
…
Striking the balance in industrial relations in China? An analysis of court decisions of 897 strike cases (2008–2015)
Authors:
Tianyu Wang
,
Fang Cooke
See all similar
Cited by
1
An introduction to executable temporal logics
Authors:
Michael M. Fisher
See all cited by