scientific article; zbMATH DE number 4134011

MaRDI QIDQ3035258zbMATH OpenFDO

Authors Ewa Orłowska

Publication date 1988

zbMATH Keywords

semanticssyntaxextension operatortranslationcomputer implementationssyntactic categoriesabstractor over possible worldsextension of Russell's theory of typesextensions of Montague logicintension operatorIntensional LogicMontague fragment of Englishnatural language phrases

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic of natural languages (03B65)

Recommendations

• Montague's theorem and modal logic
• scientific article; zbMATH DE number 221556
• scientific article; zbMATH DE number 32299
• Extensionality and logicality
• Modal bilattice logic and its extensions
• Extensions of the provability logic
• Extensional Logic of Hyperintensions
• scientific article; zbMATH DE number 6478753
• On extensions of basic propositional logic
• scientific article; zbMATH DE number 6296803

Cited in

(12)

• scientific article; zbMATH DE number 3939314 (Why is no real title available?)
• scientific article; zbMATH DE number 4063057 (Why is no real title available?)
• An implementation of a dual tableaux system for order-of-magnitude qualitative reasoning
• scientific article; zbMATH DE number 32299 (Why is no real title available?)
• scientific article; zbMATH DE number 221556 (Why is no real title available?)
• scientific article; zbMATH DE number 3885879 (Why is no real title available?)
• Intensional logic and two-sorted type theory
• Intensional logic in extensional language
• Dual tableau-based decision procedures for relational logics with restricted composition operator
• Relational dual tableaux for interval temporal logics
• scientific article; zbMATH DE number 3867295 (Why is no real title available?)
• Reichenbach, Prior and Montague: a semantic get-together

This page was built for publication:

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