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
28
views
0
references
Top references
cited by
26
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
3,816
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
Handbook of Tableau Methods
Tableau Methods for Modal and Temporal Logics
other
Author(s):
Rajeev Goré
Publication date
(Print):
1999
Publisher:
Springer Netherlands
Read this book at
Publisher
Buy book
Review
Review book
Invite someone to review
Bookmark
Cite as...
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
NeuroImaging Methods
Author and book information
Book Chapter
Publication date (Print):
1999
Pages
: 297-396
DOI:
10.1007/978-94-017-1754-0_6
SO-VID:
93ecd217-1314-4d5a-8a45-79fe41f5f56c
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 197
Equality and Other Theories
pp. 297
Tableau Methods for Modal and Temporal Logics
Similar content
3,816
Duplication-free tableau calculi and related cut-free sequent calculi for the interpolable propositional intermediate logics
Authors:
A Avellone
Manuel d'ornithologie, ou, tableau systématique des oiseaux qui se trouvent en Europe; précédé d'une analyse du système général d'ornithologie, et suivi d'une table alphabétique des espèces, 2nd edn.
Authors:
Temminck
Encéphalopathie induite par le lithium mimant un tableau de maladie de Creutzfeldt-Jakob
Authors:
S Mouldi
,
E Le Rhun
,
S Gautier
…
See all similar
Cited by
26
Logics for hybrid systems
Authors:
A. Nerode
,
J.M. Davoren
Sequent Systems for Modal Logics
Authors:
Heinrich Wansing
On the Structure of Inductive Reasoning: Circular and Tree-Shaped Proofs in the μCalculus
Authors:
Christoph Sprenger
,
Mads Dam
See all cited by