scientific article; zbMATH DE number 4134011
From MaRDI portal
Publication:3035258
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
semanticssyntaxextension operatortranslationcomputer implementationssyntactic categoriesabstractor over possible worldsextension of Russell's theory of typesextensions of Montague logicintension operatorIntensional LogicMontague fragment of Englishnatural language phrases
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)