Filters








3 Hits in 6.3 sec

A doctrinal approach to modal/temporal Heyting logic and non-determinism in processes

PAOLO BOTTONI, DANIELE GORLA, STEFANO KASANGIAN, ANNA LABELLA
2017 Mathematical Structures in Computer Science  
Moreover, the sorted first-order logic naturally associated with LB can be extended to a modal/temporal logic, again using the doctrinal setting.  ...  The first doctrine is Heyting and makes LB a Heyting category, the second one is Boolean.  ...  The authors would like to thank the anonymous referees: their work was very useful and stimulating.  ... 
doi:10.1017/s0960129517000019 fatcat:zr4fh3wftnhqfhwnkfezzewk3y

A formal model for ledger management systems based on contracts and temporal logic [article]

Paolo Bottoni, Anna Labella, Remo Pareschi
2021 arXiv   pre-print
derived from an encoding in terms of allocations of resources to actors, as an alternative to the approach based on programming.  ...  To complete the work, we use temporal logic as the basis for an abstract query language that is effectively suited to the historical nature of the information kept in the ledger.  ...  Acknowledgements Work partially supported by Sapienza, project "Consistency problems in distributed and concurrent systems".  ... 
arXiv:2109.15212v1 fatcat:t5jeciwt5vfxjlysrobpjdj5gu

Proceedings of the SNS Logic Colloquium March 1990 [article]

Peter Schroeder-Heister, Universitaet Tuebingen
2022
Republication of the proceedings of the Informal Logic Colloquium held in March 1990 at the Seminar für natürlichsprachliche Systeme (SNS) of the University of Tübingen.  ...  Acknowledgements I would like to thank Djordje Cubric, Kit Fine, Silvio Ghilardi, Valentin Sehtman, Predrag Tanovic and Slobodan Vujosevic for stimulating discussions about several points of this paper  ...  and of [4].  ... 
doi:10.15496/publikation-69809 fatcat:7hmujkxibfeshh5wmemx27dr5u