✦ LIBER ✦

Completeness of a Branching-Time Logic with Possible Choices

✍ Scribed by Roberto Ciuni; Alberto Zanardo

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A complete deductive-system for since-un

✍ Alberto Zanardo 📂 Article 📅 1991 🏛 Springer Netherlands 🌐 English ⚖ 861 KB

Model checking for a probabilistic branc

✍ Christel Baier; Marta Kwiatkowska 📂 Article 📅 1998 🏛 Springer-Verlag 🌐 English ⚖ 698 KB

Sequent calculi for branching time tempo

✍ J. Sakalauskaitė 📂 Article 📅 2007 🏛 Springer 🌐 English ⚖ 120 KB

A sequent calculus for logic of knowledg

✍ J. Sakalauskaitė 📂 Article 📅 2006 🏛 Springer 🌐 English ⚖ 110 KB

A theory of complete logic programs with

✍ Joxan Jaffar; Jean-Louis Lassez; Michael J. Maher 📂 Article 📅 1984 🏛 Elsevier Science 🌐 English ⚖ 993 KB

Branch-and-bound and simulated annealing

✍ Chin-Chia Wu; Peng-Hsiang Hsu; Juei-Chao Chen; Nae-Sheng Wang; Wen-Hung Wu 📂 Article 📅 2010 🏛 Springer 🌐 English ⚖ 211 KB