A Functional calculus of first order based on strict implication
From MaRDI portal
Cited in
(45)- The concept of a linguistic variable and its application to approximate reasoning. I
- The concept of a linguistic variable and its application to approximate reasoning. II
- The concept of a linguistic variable and its application to approximate reasoning. III
- The broadest necessity
- Universe of discourse and existence
- Quine on intensional entities: modality and quantification, truth and satisfaction
- Opacity and the double life of singular propositions
- Essence and necessity
- Intuitionistic fuzzy interpretations of Barcan formulas
- Designing normative theories for ethical and legal reasoning: \textsc{LogiKEy} framework, methodology, and tool support
- The modal logic of reverse mathematics
- Contingent objects and the Barcan formula
- Validity and necessity
- Time and determinism
- Extensional higher-order paramodulation in Leo-III
- The quantified argument calculus
- Quantified temporal alethic-deontic logic
- Leon Henkin the reviewer
- scientific article; zbMATH DE number 3902618 (Why is no real title available?)
- Delimited control operators prove double-negation shift
- Barcan Both Ways
- A note on Barcan formula
- Doxastic logic: a new approach
- On a derivation of the necessity of identity
- Logical analysis of emotions in text from natural language
- Prior, translational semantics, and the Barcan formula
- Prior on the semantics of modal and tense logic
- Prior and possibly not existing
- Differential game logic
- STRONGLY MILLIAN SECOND-ORDER MODAL LOGICS
- EVERYONE KNOWS THAT SOMEONE KNOWS: QUANTIFIERS OVER EPISTEMIC AGENTS
- Solving modal logic problems by translation to higher-order logic
- Number theory and infinity without mathematics
- Attainable knowledge and omniscience
- Ruth Barcan Marcus on the Deduction Theorem in Modal Logic
- von Wright and Hintikka on modal logic 1951--1962
- Solving quantified modal logic problems by translation to classical logics
- Modality across different logics
- Quantified modal relevant logics. II: Welcome to the neighbourhood
- Accepting a logic, accepting a theory
- Individual concepts: their logic, philosophy, and some of their uses
- Saul Kripke: a portrait of the modal logician as a young man
- Quantified temporal alethic boulesic doxastic logic
- Meredith, Prior, and the history of possible worlds semantics
- First-order classical modal logic
This page was built for publication: A Functional calculus of first order based on strict implication
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5841792)
