Citations of work:

Valentin Goranko & Alberto Zanardo (2007). From Linear to Branching-Time Temporal Logics: Transfer of Semantics and Definability.

Are we missing citations?

PhilPapers citations & references are currently in beta testing. We expect to add many more in the future.

Meanwhile, you can use our bibliography tool to import references for this or another work.

Or you can directly add citations for the above work:

Search for work by author name and title
Add directly by record ID

Nothing found.