{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,15]],"date-time":"2024-09-15T15:23:49Z","timestamp":1726413829447},"reference-count":13,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2011,9,2]],"date-time":"2011-09-02T00:00:00Z","timestamp":1314921600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Philos Logic"],"published-print":{"date-parts":[[2011,10]]},"DOI":"10.1007\/s10992-011-9213-3","type":"journal-article","created":{"date-parts":[[2011,9,1]],"date-time":"2011-09-01T21:18:09Z","timestamp":1314911889000},"page":"557-561","source":"Crossref","is-referenced-by-count":2,"title":["Logic in India\u2014Editorial Introduction"],"prefix":"10.1007","volume":"40","author":[{"given":"Hans","family":"van Ditmarsch","sequence":"first","affiliation":[]},{"given":"Rohit","family":"Parikh","sequence":"additional","affiliation":[]},{"given":"R.","family":"Ramanujam","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2011,9,2]]},"reference":[{"key":"9213_CR1","unstructured":"Banerjee, M., & Seth, A. (Eds.) (2011). Logic and its applications\u20144th Indian Conference, ICLA 2011. Proceedings (Vol.\u00a06521). LNCS: Springer."},{"issue":"3\u20134","key":"9213_CR2","doi-asserted-by":"crossref","first-page":"211","DOI":"10.3233\/FI-1996-283401","volume":"28","author":"M Banerjee","year":"1996","unstructured":"Banerjee, M., & Chakraborty, M. K. (1996). Rough sets through algebraic logic. Fundamenta Informaticae, 28(3\u20134), 211\u2013221.","journal-title":"Fundamenta Informaticae"},{"key":"9213_CR3","volume-title":"Formale logik","author":"IM Bochenski","year":"1955","unstructured":"Bochenski, I. M. (1955). Formale logik. M\u00fcnchen: K. A. Verlag"},{"issue":"2","key":"9213_CR4","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1080\/11663081.1995.10510857","volume":"5","author":"MK Chakraborty","year":"1995","unstructured":"Chakraborty, M. K. (1995). Graded consequence: Further studies. Journal of Applied Non-Classical Logics, 5(2), 127\u2013137.","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"9213_CR5","doi-asserted-by":"crossref","unstructured":"Chakraborty, M. K., & Chatterjee, A. (1996). On representation of indeterminate identity via vague concepts. Journal of Applied Non-Classical Logics, 6(2).","DOI":"10.1080\/11663081.1996.10510877"},{"key":"9213_CR6","unstructured":"Gardner, P., & Yoshida, N. (Eds.) (2004). 15th international Conference on Concurrency Theory (CONCUR) (Vol. 3170). LNCS: Springer."},{"key":"9213_CR7","doi-asserted-by":"crossref","unstructured":"Lodaya, K., & Pandya, P. K. (2006). A dose of timed logic, in guarded measure. In E. Asarin, & P. Bouyer (Eds.), FORMATS. Lecture notes in computer science (Vol. 4202, pp. 260\u2013273). Springer.","DOI":"10.1007\/11867340_19"},{"issue":"1","key":"9213_CR8","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1006\/inco.1995.1078","volume":"119","author":"K Lodaya","year":"1995","unstructured":"Lodaya, K., Parikh, R., Ramanujam, R., & Thiagarajan, P. S. (1995). A logical study of distributed transition systems. Information and Computation, 119(1), 91\u2013118.","journal-title":"Information and Computation"},{"key":"9213_CR9","volume-title":"The mathematics of metamathematics","author":"H Rasiowa","year":"1970","unstructured":"Rasiowa, H., & Sikorski, R. (1970). The mathematics of metamathematics. Warsaw: Polish Scientific Publishers."},{"key":"9213_CR10","doi-asserted-by":"crossref","unstructured":"Seth, A. (1992). There is no recursive axiomatization for feasible functionals of type \u223c2. In LICS (pp. 286\u2013295). IEEE Computer Society.","DOI":"10.1109\/LICS.1992.185541"},{"issue":"1\u20132","key":"9213_CR11","doi-asserted-by":"crossref","first-page":"118","DOI":"10.1305\/ndjfl\/1093956249","volume":"8","author":"A Shukla","year":"1967","unstructured":"Shukla, A. (1967). A note on the axiomatizations of certain modal systems. Notre Dame Journal of Formal Logic, 8(1\u20132), 118\u2013120.","journal-title":"Notre Dame Journal of Formal Logic"},{"issue":"3","key":"9213_CR12","doi-asserted-by":"crossref","first-page":"369","DOI":"10.1305\/ndjfl\/1093890624","volume":"13","author":"A Shukla","year":"1972","unstructured":"Shukla, A. (1972). The existence postulate and non-regular systems of modal logic. Notre Dame Journal of Formal Logic, 13(3), 369\u2013378.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"9213_CR13","unstructured":"Zilberman, D. B. (2006). History of Indian logic. In R.\u00a0S. Cohen, & H. Gourko (Eds.), Analogy in Indian and Western philosophical thought. Boston studies in the philosophy of science (Vol. 243, pp. 110\u2013120). Springer"}],"container-title":["Journal of Philosophical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-011-9213-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10992-011-9213-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-011-9213-3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,6,23]],"date-time":"2020-06-23T02:46:10Z","timestamp":1592880370000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10992-011-9213-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,9,2]]},"references-count":13,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2011,10]]}},"alternative-id":["9213"],"URL":"https:\/\/doi.org\/10.1007\/s10992-011-9213-3","relation":{},"ISSN":["0022-3611","1573-0433"],"issn-type":[{"type":"print","value":"0022-3611"},{"type":"electronic","value":"1573-0433"}],"subject":[],"published":{"date-parts":[[2011,9,2]]}}}