Commit18541eb

authored

Add ITP2021 paper

1 parent0f7b7e7 commit18541ebCopy full SHA for 18541eb

File tree

+12

-2

lines changed

+12

-2

lines changed

Lines changed: 12 additions & 2 deletions

Original file line number	Diff line number	Diff line change
`@@ -4,8 +4,18 @@ This website gives a brief overview of our [HOLMS library](https://github.com/HO`
`4`	`4`
`5`	`5`	`##Publications`
`6`	`6`
`7`		`-- Marco Maggesi, Cosimo Perini Brogi (2023)Mechanising Gödel–Löb Provability Logic in HOL Light. J Autom Reasoning 67, 29.https://doi.org/10.1007/s10817-023-09677-z (Open access)`
`8`		`-- Antonella Bilotta, Marco Maggesi, Cosimo Perini Brogi, Leonardo Quartini (2024)Growing HOLMS, a HOL Light Library for Modal Systems. (In preparation)`
	`7`	`+- Marco Maggesi, Cosimo Perini Brogi (2021)<br/>`
	`8`	`+*A Formal Proof of Modal Completeness for Provability Logic*.<br/>`
	`9`	`+ In 12th International Conference on Interactive Theorem Proving (ITP 2021).<br/>`
	`10`	`+ Leibniz International Proceedings in Informatics (LIPIcs),<br/>`
	`11`	`+ Volume 193, pp. 26:1-26:18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2021)<br/>`
	`12`	`+https://doi.org/10.4230/LIPIcs.ITP.2021.26 (Open access)`
	`13`	`+- Marco Maggesi, Cosimo Perini Brogi (2023)<br/>`
	`14`	`+*Mechanising Gödel–Löb Provability Logic in HOL Light*.<br/>`
	`15`	`+ J Autom Reasoning 67, 29.https://doi.org/10.1007/s10817-023-09677-z (Open access)`
	`16`	`+- Antonella Bilotta, Marco Maggesi, Cosimo Perini Brogi, Leonardo Quartini (2024)<br/>`
	`17`	`+*Growing HOLMS, a HOL Light Library for Modal Systems*.<br/>`
	`18`	`+ (In preparation)`
`9`	`19`
`10`	`20`	`##Contributors`
`11`	`21`

Comments

(0)