✦ LIBER ✦

Expressive Power and Incompleteness of Propositional Logics

✍ Scribed by James W. Garson

Publisher: Springer Netherlands
Year: 2009
Tongue: English
Weight: 268 KB
Volume: 39
Category: Article
ISSN: 0022-3611
DOI: 10.1007/s10992-009-9120-z

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Expressivity of Second Order Proposition

Expressivity of Second Order Propositional Modal Logic

✍ Balder ten Cate 📂 Article 📅 2005 🏛 Springer Netherlands 🌐 English ⚖ 375 KB

ON THE EXPRESSIVE POWER OF THE LOGICS L(

ON THE EXPRESSIVE POWER OF THE LOGICS L(Qαn1,…,nm)

✍ Andreas Rapp 📂 Article 📅 1984 🏛 John Wiley and Sons 🌐 English ⚖ 576 KB

ON THE EXPRESSIVE POWER O F THE LOGICS L ( Q P ~\* . -. S " ~) ) by AXDREAS RAPP in Freiburg (G.F.R.)') ''i 5 m ~( i ) ' t then L(Q) 5 L(Q'). I) I. would like to thank H.-D. EBBINQHAUS, J. FLUM and W. THOMAS for helpful discuesions.

Propositional interval neighborhood logi

Propositional interval neighborhood logics: Expressiveness, decidability, and undecidable extensions

✍ Davide Bresolin; Valentin Goranko; Angelo Montanari; Guido Sciavicco 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 990 KB

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

Autoepistemic logic of first order and i

Autoepistemic logic of first order and its expressive power

✍ Li-Yan Yuan 📂 Article 📅 1994 🏛 Springer Netherlands 🌐 English ⚖ 1008 KB

On Fork Arrow Logic and its Expressive P

On Fork Arrow Logic and its Expressive Power

✍ Paulo A. S. Veloso; Renata P. de Freitas; Petrucio Viana; Mario Benevides; Sheil 📂 Article 📅 2007 🏛 Springer Netherlands 🌐 English ⚖ 456 KB