scientific article; zbMATH DE number 3531346

zbMATH Open0341.02014MaRDI QIDQ4108293FDOQ4108293

Authors: Daniel Gallin 

Publication date: 1975

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

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Modal logic (including the logic of norms) (03B45)

Cited In (53)

• Logic operators and quantifiers in type-theory of algorithms
• Propositional forms of judgemental interpretations
• First-order intensional logic
• Structured anaphora to quantifier domains
• A relational formulation of the theory of types
• Title not available (Why is that?)
• Truth, predication and a family of contingent paradoxes
• All properties are divine or god exists -- the sacred thesis and its ontological argument
• CIFOL: case-intensional first order logic. I: Toward a theory of sorts
• Quantum sortal predicates
• Logics for propositional contingentism
• Closed structure
• Selectional restrictions, types and categories
• The logic of pragmatic truth
• Terminating Tableaux for Hybrid Logic with the Difference Modality and Converse
• Essence and necessity
• Syntactical treatments of propositional attitudes
• Notes on the theory of variable binding term operators
• Some weakened Gödelian ontological systems
• Modal languages and bounded fragments of predicate logic
• CAN MODALITIES SAVE NAIVE SET THEORY?
• On fuzzy type theory
• FOIL axiomatized
• Predicativity, the Russell-Myhill paradox, and Church's intensional logic
• An intensional Schrödinger logic
• A note on intensionalization
• Frege's double correlation thesis and Quine's set theories NF and ML
• From classical to fuzzy type theory
• lambda-normal forms in an intensional logic for English
• Logical investigations on PTQ arising from programming requirements
• The set of empirical questions that can be answered by an empirical theory
• Remarks on Groenendijk and Stokhof's theory of indirect questions
• Higher-order modal logics: automation and applications
• Exceptional Scope as Discourse Reference to Quantificational Dependencies
• Propositional quantification in bimodal S5
• Logical structure of fuzzy IF-THEN rules
• Completeness in hybrid type theory
• Higher-order contingentism. I: Closure and generation
• The concept of linguistic variable revisited
• Serious actualism and higher-order predication
• The Range of Modal Logic
• Extending Montague's system: A three valued intensional logic
• Predication versus membership in the distinction between logic as language and logic a calculus
• Paradoxes of intensionality
• STRONGLY MILLIAN SECOND-ORDER MODAL LOGICS
• Hybrid tableaux for the difference modality
• Adjectival vagueness in a Bayesian model of interpretation
• Agnostic hyperintensional semantics
• Type-theoretic logic with an operational account of intensionality
• Changing a Semantics: Opportunism or Courage?
• Mereology in engineering and computer science
• Covert movement in logical grammar
• Logical Foundations and Kant's Principles of Formal Logic

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 Q4108293)