✦ LIBER ✦

Decision Procedures and Semantics for Feys' System S2° and Surrounding Systems

✍ Scribed by R. Routley

Book ID: 102939617
Publisher: John Wiley and Sons
Year: 1970
Tongue: English
Weight: 514 KB
Volume: 16
Category: Article
ISSN: 0044-3050
DOI: 10.1002/malq.19700160206

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Gentzen Decision Procedures for Lewis's

Gentzen Decision Procedures for Lewis's Systems S2 and S3.by Masao Ohnishi

✍ Review by: Richard Routley 📂 Article 📅 1975 🏛 Association for Symbolic Logic 🌐 English ⚖ 105 KB

Von Wright-Anderson's Decision Procedure

Von Wright-Anderson's Decision Procedures for Lewis's Systems S2 and S3.by Masao Ohnishi

✍ Review by: Richard Routley 📂 Article 📅 1975 🏛 Association for Symbolic Logic 🌐 English ⚖ 84 KB

Decision Procedures for Lewis System S1

Decision Procedures for Lewis System S1 and Related Modal Systems.by Anjan Shukla

✍ Review by: R. A. Bull 📂 Article 📅 1972 🏛 Association for Symbolic Logic 🌐 English ⚖ 166 KB

Decision Procedures and Semantics for C1

Decision Procedures and Semantics for C1, E1 and S0.50.by R. Routley

✍ Review by: G. F. Schumm 📂 Article 📅 1973 🏛 Association for Symbolic Logic 🌐 English ⚖ 101 KB

Sequent Calculi and Decision Procedures

Sequent Calculi and Decision Procedures for Weak Modal Systems

✍ René Lavendhomme; Thierry Lucas 📂 Article 📅 2000 🏛 Springer Netherlands 🌐 English ⚖ 536 KB

Conic S-procedure and constrained dissip

Conic S-procedure and constrained dissipativity for linear systems

✍ A. L. Fradkov 📂 Article 📅 2007 🏛 John Wiley and Sons 🌐 English ⚖ 144 KB

## Abstract A new proof and extension of the recent result of Iwasaki __et al__. (__Systems Control Lett__. 2005; **54**(7):681–691) concerning equivalence of frequency domain inequality on finite frequency range and constrained dissipativity property for linear systems is given. The results of thi