scientific article; zbMATH DE number 3114382
From MaRDI portal
Publication:3228599
zbMATH Open0067.24903MaRDI QIDQ3228599FDOQ3228599
Authors: A. N. Prior 
Publication date: 1955
Title of this publication is not available (Why is that?)
Cited In (35)
- Prior's defence of Hintikka's theorem. A discussion of Prior's ``The logic of obligation and the obligations of the logician
- The logic of obligation and the obligations of the logician
- Prior on the semantics of modal and tense logic
- On the classical logic of names
- The recursive resolution method for modal logic
- On 'de dicto' modalities in quantified S5
- Functions of Propositions
- A reduction of classical propositional logic to the conjunction-negation fragment of an intuitionistic relevant logic
- De re modality and the new essentialism: a dilemma
- From worlds to possibilities
- Aristotle on universal quantification: a study from the point of view of game semantics
- The genesis of possible worlds semantics
- A simplified form of condensed detachment
- Varieties of rigidity
- Completion, reduction and analysis: three proof-theoretic processes in aristotle’sprior analytics
- Mathematical modality: an investigation in higher-order logic
- Aristotelian and Boolean properties of the Keynes-Johnson octagon of opposition
- Implementing the `Fool's model' of combinatory logic
- Modèles à variables de différentes sortes pour les logiques modales \(M\) ou \(S5\)
- A new use of an automated reasoning assistant: Open questions in equivalential calculus an the study of infinite domains
- Relevance Logic as a Conservative Extension of Classical Logic
- Schopenhauer's partition diagrams and logical geometry
- Arthur N. Prior on ‘Unquestionably the Best Logical Symbolism for Most Purposes’
- Problems and results for logics about imperatives
- Where is ‘There is’ in ‘∃’?
- An algebra related with a propositional calculus
- Satisfaction and Friendliness Relations within Classical Logic: Proof-Theoretic Approach
- \textit{De re} language, \textit{de re} eliminability, and the essential limits of both
- Objectivity without objects: a Priorian program
- Possible worlds in ``The craft of formal logic
- Prior on Aristotle's logical squares
- Prior, Berkeley, and the Barcan formula
- Prior and possibly not existing
- The peripatetic program in categorical logic: Leibniz on propositional terms
- Oskar Becker and the modal translation of intuitionistic 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 Q3228599)
