scientific article; zbMATH DE number 4134011

zbMATH Open0693.03011MaRDI QIDQ3035258FDOQ3035258

Authors: Ewa Orłowska 

Publication date: 1988

Title of this publication is not available (Why is that?)

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

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)

Cited In (12)

• Title not available (Why is that?)
• Title not available (Why is that?)
• An implementation of a dual tableaux system for order-of-magnitude qualitative reasoning
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• 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)