Intensional logic in context

MaRDI QIDQ2758292zbMATH OpenFDO

Authors W. W. Wadge

Publication date 6 December 2001

zbMATH Keywords

intensional logicintensional programmingmodal logictutorial

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70)

Recommendations

• Intensional programming I. Based on the papers at ISLIP '95, Macquarie Univ., Sydney, NSW, Australia 3--5, 1995
• Game semantics for non-monotonic intensional logic programming
• Towards a unified theory of intensional logic programming
• scientific article; zbMATH DE number 54243
• scientific article; zbMATH DE number 4028866

Cited in

(8)

• Tractable reasoning using logic programs with intensional concepts
• Intensional programming I. Based on the papers at ISLIP '95, Macquarie Univ., Sydney, NSW, Australia 3--5, 1995
• Vmake and ISE general tools for the intensionalization of software systems
• Game semantics for non-monotonic intensional logic programming
• scientific article; zbMATH DE number 3843727 (Why is no real title available?)
• scientific article; zbMATH DE number 4164812 (Why is no real title available?)
• scientific article; zbMATH DE number 1163386 (Why is no real title available?)
• Leibnizian Intensional Semantics for Syllogistic Reasoning

This page was built for publication: Intensional logic in context

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2758292)