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