Subscribe to thousands of academic journals for just $40/month
Read and share the articles you need for your research, all in one place.

Decidability of Quantified Propositional Intuitionistic Logic and S4 on Trees of Height and Arity ≤ω

Journal of Philosophical Logic , Volume 33 (2) – Apr 1, 2004

Details

Publisher
Kluwer Academic Publishers
Copyright
Copyright © 2004 by Kluwer Academic Publishers
Subject
Philosophy; Logic
ISSN
0022-3611
eISSN
1573-0433
D.O.I.
10.1023/B:LOGI.0000021744.10237.d0
Publisher site
See Article on Publisher Site
Expand Tray Hide Tray

Loading next page...

End of preview. The entire article is 10 pages. Rent for Free

 
/lp/springer-journal/decidability-of-quantified-propositional-intuitionistic-logic-and-s4-j09rGnmsfI

Loading...