✦ LIBER ✦

Quantified coalition logic

✍ Scribed by Thomas Ågotnes; Wiebe van der Hoek; Michael Wooldridge

Publisher: Springer Netherlands
Year: 2008
Tongue: English
Weight: 303 KB
Volume: 165
Category: Article
ISSN: 0039-7857
DOI: 10.1007/s11229-008-9363-1

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Quantified Computation Tree Logic

✍ A.C. Patthak; I. Bhattacharya; A. Dasgupta; Pallab Dasgupta; P.P. Chakrabarti 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 109 KB

Computation Tree Logic (CTL) is one of the most syntactically elegant and computationally attractive temporal logics for branching time model checking. In this paper, we observe that while CTL can be verified in time polynomial in the size of the state space times the length of the formula, there is

Unifying Quantified Modal Logic

✍ James W. Garson 📂 Article 📅 2005 🏛 Springer Netherlands 🌐 English ⚖ 292 KB

A quantified logic of evidence

✍ Melvin Fitting 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 400 KB

Essentialism and Quantified Modal Logic

✍ Parsons, Terence 📂 Fiction 📅 0 🌐 English ⚖ 447 KB

Essentialism in quantified modal logic

✍ Thomas J. McKay 📂 Article 📅 1975 🏛 Springer Netherlands 🌐 English ⚖ 892 KB

Quantified Modal Logic With Rigid Terms

✍ Giovanna Corsi 📂 Article 📅 1988 🏛 John Wiley and Sons 🌐 English ⚖ 511 KB