On a decidable generalized quantifier logic corresponding to a decidable fragment of first-order logic
- 1 January 1995
- journal article
- Published by Springer Nature in Journal of Logic, Language and Information
- Vol. 4 (3) , 177-189
- https://doi.org/10.1007/bf01049411
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Back and Forth Between Modal Logic and Classical LogicLogic Journal of the IGPL, 1995
- Correspondence and Completeness for Generalized QuantifiersLogic Journal of the IGPL, 1995
- Hybrid languagesJournal of Logic, Language and Information, 1995
- The axiomatization of randomnessThe Journal of Symbolic Logic, 1990
- Natural deduction and arbitrary objectsJournal of Philosophical Logic, 1985
- First-Order LogicPublished by Springer Nature ,1968