公示催告程序是否是形成判决？

首先，我们来了解一下公示催告程序和形成判决这两个概念。公示催告程序是指人民法院根据申请人的申请，以公示的方法，告知并催促不明确的利害关系人在一定期限内申报权利，到期无人申报权利的，则根据申请人的申请依法作出除权判决的程序。简单来说，当票据等被盗、遗失或者灭失时，失票人可以通过这个程序来维护自己的权益。

而形成判决是指变动或者消灭当事人之间原来存在的没有争议的民事法律关系的判决。比如离婚判决，它会使夫妻之间的婚姻关系消灭，这就是一种形成判决。

在我国法律中，《中华人民共和国民事诉讼法》对公示催告程序有明确规定。公示催告程序最后作出的判决是除权判决，其目的是宣告票据无效，使申请人恢复票据权利。它并不是变动或者消灭原来存在的没有争议的民事法律关系，所以公示催告程序不是形成判决。

除权判决是一种特殊的判决，它主要是针对票据权利进行处理。通过公示催告程序，在无人申报权利或者申报被驳回的情况下，法院会根据申请人的申请作出除权判决，使得申请人可以不凭借票据而行使票据权利。这和形成判决的功能和性质是不同的。所以，从法律概念和程序的角度来看，公示催告程序和形成判决是两个不同的法律范畴。