Pages that link to "Item:Q5841792"
From MaRDI portal
The following pages link to A Functional calculus of first order based on strict implication (Q5841792):
Displayed 35 items.
- Time and determinism (Q266653) (← links)
- Delimited control operators prove double-negation shift (Q450950) (← links)
- On a derivation of the necessity of identity (Q484964) (← links)
- Prior, translational semantics, and the Barcan formula (Q516404) (← links)
- Prior on the semantics of modal and tense logic (Q516414) (← links)
- Prior and possibly not existing (Q516421) (← links)
- Quantified temporal alethic boulesic doxastic logic (Q828771) (← links)
- Meredith, Prior, and the history of possible worlds semantics (Q857664) (← links)
- First-order classical modal logic (Q863182) (← links)
- The concept of a linguistic variable and its application to approximate reasoning. I (Q1253933) (← links)
- The concept of a linguistic variable and its application to approximate reasoning. II (Q1256861) (← links)
- The concept of a linguistic variable and its application to approximate reasoning. III (Q1256862) (← links)
- The broadest necessity (Q1633208) (← links)
- Universe of discourse and existence (Q1634754) (← links)
- Quine on intensional entities: modality and quantification, truth and satisfaction (Q1948273) (← links)
- Opacity and the double life of singular propositions (Q1948274) (← links)
- Essence and necessity (Q2144211) (← links)
- Intuitionistic fuzzy interpretations of Barcan formulas (Q2198217) (← links)
- Designing normative theories for ethical and legal reasoning: \textsc{LogiKEy} framework, methodology, and tool support (Q2211865) (← links)
- The modal logic of reverse mathematics (Q2339962) (← links)
- Contingent objects and the Barcan formula (Q2432045) (← links)
- Validity and necessity (Q2572383) (← links)
- Extensional higher-order paramodulation in Leo-III (Q2666959) (← links)
- THE QUANTIFIED ARGUMENT CALCULUS (Q2940869) (← links)
- Quantified temporal alethic-deontic logic (Q2987727) (← links)
- Leon Henkin the Reviewer (Q3454809) (← links)
- (Q3680806) (← links)
- Barcan Both Ways (Q4531581) (← links)
- A note on Barcan formula (Q4586237) (← links)
- Doxastic logic: a new approach (Q4646653) (← links)
- Logical analysis of emotions in text from natural language (Q5114311) (← links)
- Differential Game Logic (Q5277902) (← links)
- STRONGLY MILLIAN SECOND-ORDER MODAL LOGICS (Q5357324) (← links)
- EVERYONE KNOWS THAT SOMEONE KNOWS: QUANTIFIERS OVER EPISTEMIC AGENTS (Q5381039) (← links)
- Solving modal logic problems by translation to higher-order logic (Q6139085) (← links)