Logic is a system for rational enquiry and is founded on axioms and inference rules for reasoning. Modern mathematical logic dates back to the works of Frege and Peano late in the 19th century. The first attempt to use computational power for proof procedures based on predicate calculus was made in the 1950s. Logic has influenced Artificial Intelligence, the design of programming languages, their semantics, program verification procedures, and the formal specification of software systems.
KeywordsTemporal Logic Inference Rule Propositional Logic Atomic Formula Predicate Logic
Unable to display preview. Download preview PDF.
- J. Bairwise and J. Etchemendy, The Language of First-Order Logic (third edition), Center for the Study of Language and Information, Stanford, CA, 1995.Google Scholar
- T. DeMarco, Structured Analysis and System Specification, Yourdon Press, New York, NY, 1978.Google Scholar
- E.A. Emerson, “Temporal and Modal Logic,” in J. van Leeuwen (Ed.), Handbook of Theoretical Computer Science, North-Holland, Amsterdam, 1989, pp. 995–1072.Google Scholar
- F. Kröger, Temporal Logic of Programs, EATCS Monographs on Theoretical Computer Science, Springer-Verlag, Berlin/Heidelberg, 1986.Google Scholar
- L. Lamport, “What Good is Temporal Logic?” Invited Paper, Proceedings of IFIP’83 Congress — Information Processing, North-Holland, Amsterdam, 1983, pp. 657–668.Google Scholar
- B. Moszkowski, Executing Temporal Logic Programs, Cambridge University Press, Cambridge, England, 1986.Google Scholar