✦ LIBER ✦

Justification logics, logics of knowledge, and conservativity

✍ Scribed by Melvin Fitting

Publisher: Springer Netherlands
Year: 2008
Tongue: English
Weight: 382 KB
Volume: 53
Category: Article
ISSN: 1012-2443
DOI: 10.1007/s10472-009-9112-2

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Refined common knowledge logics or logic

Refined common knowledge logics or logics of common information

✍ V.V. Rybakov 📂 Article 📅 2003 🏛 Springer 🌐 English ⚖ 236 KB

Intuitionist logic, a logic of justifica

Intuitionist logic, a logic of justification

✍ John T. Kearns 📂 Article 📅 1978 🏛 Springer Netherlands 🌐 English ⚖ 1004 KB

Logics of knowledge and belief—applicati

Logics of knowledge and belief—applications

✍ Nicholas Measor 📂 Article 📅 1991 🏛 Springer Netherlands 🌐 English ⚖ 885 KB

In this paper we survey formal techniques for the study of reasoning about knowledge and belief, and consider their application in the areas of distributed computing and nonmonotonic reasoning.

On Logics of Knowledge and Belief

✍ Robert Stalnaker 📂 Article 📅 2006 🏛 Springer Netherlands 🌐 English ⚖ 316 KB

Dynamic logics of knowledge and access

✍ Tomohiro Hoshi; Eric Pacuit 📂 Article 📅 2010 🏛 Springer Netherlands 🌐 English ⚖ 315 KB

Workplace Logics, Kinds of Knowledge and

Workplace Logics, Kinds of Knowledge and Action Research

✍ Thomas Hansson 📂 Article 📅 2006 🏛 Springer 🌐 English ⚖ 244 KB