✦ LIBER ✦

A Reduction Of Doxastic Logic To Action Logic

✍ Scribed by Heinrich Wansing

Book ID: 110227990
Publisher: Springer
Year: 2000
Tongue: English
Weight: 92 KB
Volume: 53
Category: Article
ISSN: 1876-2514
DOI: 10.1023/a:1005666218871

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On combinations of propositional dynamic

On combinations of propositional dynamic logic and doxastic modal logics

✍ Renate A. Schmidt; Dmitry Tishkovsky 📂 Article 📅 2007 🏛 Springer Netherlands 🌐 English ⚖ 482 KB

Dynamic doxastic logic: why, how, and wh

Dynamic doxastic logic: why, how, and where to?

✍ Hannes Leitgeb; Krister Segerberg 📂 Article 📅 2007 🏛 Springer Netherlands 🌐 English ⚖ 376 KB

Reduction of second-order logic to modal

Reduction of second-order logic to modal logic

✍ S. K. Thomason 📂 Article 📅 1975 🏛 John Wiley and Sons 🌐 English ⚖ 464 KB

A deontic logic of action

✍ Krister Segerberg 📂 Article 📅 1982 🏛 Springer Netherlands 🌐 English ⚖ 806 KB

A topological logic of action

✍ Krister Segerberg 📂 Article 📅 1984 🏛 Springer Netherlands 🌐 English ⚖ 256 KB

We consider a quantifier-free language in which there are terms as weal as formulas. The proposition-forming propositional operators are the usual ones, and the term-making term operators are the usual lattice theoretical ones. In addition there is a formula-making term operator, "does". We study a

Pseudomonadic Algebras as Algebraic Mode

Pseudomonadic Algebras as Algebraic Models of Doxastic Modal Logic

✍ Nick Bezhanishvili 📂 Article 📅 2002 🏛 John Wiley and Sons 🌐 English ⚖ 195 KB

We generalize the notion of a monadic algebra to that of a pseudomonadic algebra. In the same way as monadic algebras serve as algebraic models of epistemic modal system S5, pseudomonadic algebras serve as algebraic models of doxastic modal system KD45. The main results of the paper are: (1) Charact