Publications | Lund University Publications

1 – 3 of 3

show: 10
|
sort: year (new to old)

News feed Embed this list Save this search Mark all Export

Cancel

Embed this list

copy and paste the html snippet below into your own page:

<iframe src="https://lup.lub.lu.se/search/publication?embed=1&q=keywords+exact+%22temporal+logic%22&amp;hide_pagination=1&amp;hide_info=1&amp;hide_options=1"
  width="100%"
  height="400"
  allowtransparency="true"
  frameborder="0">
</iframe>

2024
Mark Towards the exact complexity of realizability for Safety LTL
Arteche, Noel ^LU and Hermo, Montserrat (2024) In Journal of Logical and Algebraic Methods in Programming 141.
- Contribution to journal › Article
2017
Mark Time of Logics and Time of Physics
Proietti, Carlo ^LU (2017) In Boston Studies in the Philosophy and History of Science 326. p.39-53
- Chapter in Book/Report/Conference proceeding › Book chapter
2009
Mark Ceteris paribus modalities and the future contingents problem
Proietti, Carlo ^LU (2009) p.304-325
- Chapter in Book/Report/Conference proceeding › Book chapter

your query:: Remove keywords: temporal logic