✦ LIBER ✦

A Sequent Calculus for Propositional Dynamic Logic for Agents

✍ Scribed by J. Sakalauskaitė

Book ID: 111597518
Publisher: Springer
Year: 2004
Tongue: English
Weight: 82 KB
Volume: 44
Category: Article
ISSN: 0363-1672
DOI: 10.1023/b:lima.0000046874.58744.c3

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A Sequent Calculus for Propositional Dyn

A Sequent Calculus for Propositional Dynamic Logic for Agents with Interactions

✍ J. Sakalauskaite 📂 Article 📅 2005 🏛 Springer 🌐 English ⚖ 204 KB

A Contraction-free and Cut-free Sequent

A Contraction-free and Cut-free Sequent Calculus for Propositional Dynamic Logic

✍ Brian Hill; Francesca Poggiolesi 📂 Article 📅 2010 🏛 Springer Netherlands 🌐 English ⚖ 326 KB

A coding method for a sequent calculus o

A coding method for a sequent calculus of propositional logic

✍ R. Alonderis 📂 Article 📅 2008 🏛 Springer 🌐 English ⚖ 219 KB

A Sequent Calculus for a Negative Free L

A Sequent Calculus for a Negative Free Logic

✍ Norbert Gratzl 📂 Article 📅 2010 🏛 Springer Netherlands 🌐 English ⚖ 273 KB

Sequent calculi for propositional star-f

Sequent calculi for propositional star-free likelihood logic

✍ R. Alonderis 📂 Article 📅 2005 🏛 Springer 🌐 English ⚖ 131 KB

New sequent calculi for Visser's Formal

New sequent calculi for Visser's Formal Propositional Logic

✍ Katsumasa Ishii 📂 Article 📅 2003 🏛 John Wiley and Sons 🌐 English ⚖ 128 KB

## Abstract Two cut‐free sequent calculi which are conservative extensions of Visser's Formal Propositional Logic (FPL) are introduced. These satisfy a kind of subformula property and by this property the interpolation theorem for FPL are proved. These are analogies to Aghaei‐Ardeshir's calculi for