Complexity and nicety of fluted logic

Studia Logica

Volumn 71, Issue 2, 2002, Pages 177-198

  Purdy, William C ^a  

^a Syracuse University   (United States)

Author keywords

Complexity; First order fragment; Fluted logic; Interpolation property; Preservation properties

Indexed keywords

EID: 52649137855     PISSN: 00393215     EISSN: 15728730     Source Type: Journal    
DOI: 10.1023/A:1016596721799     Document Type: Article

References (19)

1. Andréka, Hajnal, Johan van Benthem, and Istvan Németi, 'Modal languages and bounded fragments of predicate logic', Journal of Philosophical Logic 27 (1998), 217-274.
2. Andréka, Hajnal, Ágnes Kurucz, István Németi, and Ildikó Sain, Applying Algebraic Logic; A General Methodology Mathematical Institute of the Hungarian Academy of Sciences, Budapest, Hungary, 1994.
3. Andrews, Peter B., An Introduction to Mathematical Logic and Type Theory, Academic Press, Orlando, 1986.
4. van Benthem, Johan, Exploring Logical Dynamics, CLSI Publications, Stanford, California, 1996.
5. Grädel, E., P. Kolaitis, and M. Vardi, 'On the decision problem for two-variable first-order logic', Bulletin of Symbolic Logic 3 (1997), 53-69.
6. Halpern, Joseph Y., and Yoram Moses, 'A guide to completeness and complexity for modal logics of knowledge and belief', Artificial Intelligence 54 (1992), 319-379.
7. Hintikka, Jaakko, 'Surface information and depth information', in J. Hintikka, and P. Suppes (eds.), Information and Inference, D. Reidel Publishing Company, Dordrecht, 1970, pp. 263-297.
8. Hintikka, Jaakko, Logic, Language-Games and Information, Clarendon Press, Oxford, 1973.
9. Hoogland, Eva, and Maarten Marx, 'Interpolation in Guarded Fragments', ILLC preprint, University of Amsterdam, 2000.
10. Hustadt, U., and R. A. Schmidt, 'Issues of decidability for description logics in the framework of resolution', in R. Caferra and G. Salzer (eds), Automated Deduction in Classical and Non-Classical Logic, Lecture Notes in Artificial Intelligence, 1761, Springer, New York, 2000, pp. 191-205.
11. Lutz, Carsten and Ulrike Sattler, 'The complexity of reasoning with Boolean modal logics', LTCS-Report 00-02, Aachen University of Technology, Aachen, 2000.
12. Hans Jürgen Ohlbach and Renate A. Schmidt, 'Functional translation and second-order frame properties of modal logics', Journal of Logic and Computation 7, 1997, 581-603.
13. Purdy, W. C., 'Fluted formulas and the limits of decidability', Journal of Symbolic Logic 61 (1996), 608-620. This as well as other papers by the author cited here can be obtained by ftp from http://www.cis.syr.edu/∼ wcpurdy/.
14. Purdy, W. C., 'Quine's "Limits of Decision" ', Journal of Symbolic Logic 64 (1999), 1439-1466.
15. Rantala, Veikko, 'Constituents', in J. Bogdan Radu (ed.), Jaakko Hintikka, D. Reidel Publishing Company, Dordrecht, 1987, pp. 43-76.
16. Schmidt, R. A., 'Decidability by resolution for propositional modal logics', Journal of Automated Reasoning 22, 1999, 379-396.
17. Schmidt, R. A., and U. Hustadt, 'A resolution decision procedure for fluted logic', in D. McAllester (ed.), Automated Deduction-CADE-17, Lecture Notes in Artificial Intelligence 1831, Springer, New York, 2000, pp. 433-448.
18. Smullyan, Raymond M., First-Order Logic, Dover Publications, New York, 1995.
19. Stickel, Mark E., 'Schubert's steamroller problem: Formulations and solutions', Journal of Automated Reasoning 2 (1986), 89-101.