✦ LIBER ✦

A Sequent Calculus for Propositional Dynamic Logic for Agents with Interactions

✍ Scribed by J. Sakalauskaite

Publisher: Springer
Year: 2005
Tongue: English
Weight: 204 KB
Volume: 45
Category: Article
ISSN: 0363-1672
DOI: 10.1007/s10986-005-0025-4

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

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

Propositional logic for topology-like ma

Propositional logic for topology-like matrices: a calculus with restricted substitution

✍ Thomas M. Leschine 📂 Article 📅 1978 🏛 Springer Netherlands 🌐 English ⚖ 308 KB

CUT ELIMINATION FOR PROPOSITIONAL DYNAMI

CUT ELIMINATION FOR PROPOSITIONAL DYNAMIC LOGIC WITHOUT

✍ Robert A. Bull 📂 Article 📅 1992 🏛 John Wiley and Sons 🌐 English ⚖ 764 KB

## Abstract The aim of this paper is to extend the semantic analysis of tense logic in Rescher/Urquhart [3] to propositional dynamic logic without\*. For this we develop a nested sequential calculus whose axioms and rules directly reflect the steps in the semantic analysis. It is shown that this ca

A sequent calculus for logic of knowledg

A sequent calculus for logic of knowledge and past time: Completeness and decidability

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