A formalism to specify unambiguous instructions inspired by Mīmāṁsā in computational settings

DOI10.1007/S11787-021-00281-6OpenAlexW3192701441MaRDI QIDQ2169123

Ranjani Parthasarathi, Bama Srinivasan

Publication date: 1 September 2022

Published in: Logica Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11787-021-00281-6

zbMATH Keywords

instructionsimperative logicaction representationMīmāṁsā

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Logic in computer science (03B70) Many-valued logic (03B50) Other applications of logic (03B80)

Cites Work

• Unnamed Item
• Propositional dynamic logic of regular programs
• STRIPS: A new approach to the application of theorem proving to problem solving
• Logic in Computer Science
• Duty and Sacrifice: A Logical Analysis of the Mīmāṃsā Theory of Vedic Injunctions
• New Foundations for Imperative Logic I: Logical Connectives, Consistency, and Quantifiers*

This page was built for publication: A formalism to specify unambiguous instructions inspired by Mīmāṁsā in computational settings