scientific article; zbMATH DE number 3531346
From MaRDI portal
Publication:4108293
zbMath0341.02014MaRDI QIDQ4108293
Publication date: 1975
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modal logic (including the logic of norms) (03B45) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02)
Related Items
Frege's double correlation thesis and Quine's set theories NF and ML, Selectional restrictions, types and categories, The Range of Modal Logic, Predicativity, the Russell-Myhill paradox, and Church's intensional logic, From Classical to Fuzzy Type Theory, Changing a Semantics: Opportunism or Courage?, Remarks on Groenendijk and Stokhof's theory of indirect questions, Essence and necessity, Logical structure of fuzzy IF-THEN rules, FOIL axiomatized, First-order intensional logic, An intensional Schrödinger logic, Higher-order contingentism. I: Closure and generation, Quantum sortal predicates, Propositional forms of judgemental interpretations, Truth, predication and a family of contingent paradoxes, STRONGLY MILLIAN SECOND-ORDER MODAL LOGICS, 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, Higher-Order Modal Logics: Automation and Applications, Adjectival vagueness in a Bayesian model of interpretation, Extending Montague's system: A three valued intensional logic, Some weakened Gödelian ontological systems, Terminating Tableaux for Hybrid Logic with the Difference Modality and Converse, Mereology in Engineering and Computer Science, Completeness in hybrid type theory, CIFOL: case-intensional first order logic. I: Toward a theory of sorts, CAN MODALITIES SAVE NAIVE SET THEORY?, Covert Movement in Logical Grammar, A relational formulation of the theory of types, Agnostic hyperintensional semantics, Type-theoretic logic with an operational account of intensionality, Predication versus membership in the distinction between logic as language and logic a calculus, Serious actualism and higher-order predication, A note on intensionalization, Structured anaphora to quantifier domains, On fuzzy type theory, Unnamed Item, Exceptional Scope as Discourse Reference to Quantificational Dependencies, Propositional quantification in bimodal S5, Modal languages and bounded fragments of predicate logic, Closed structure, PARADOXES OF INTENSIONALITY, Syntactical treatments of propositional attitudes, Hybrid Tableaux for the Difference Modality, The logic of pragmatic truth, Notes on the theory of variable binding term operators, All Properties are Divine or God Exists - The Sacred Thesis and its Ontological Argument, The Concept of Linguistic Variable Revisited, Logical Foundations and Kant's Principles of Formal Logic, LOGICS FOR PROPOSITIONAL CONTINGENTISM
