scientific article
From MaRDI portal
Publication:3228599
zbMath0067.24903MaRDI QIDQ3228599
Publication date: 1955
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (33)
The recursive resolution method for modal logic ⋮ A simplified form of condensed detachment ⋮ \textit{De re} language, \textit{de re} eliminability, and the essential limits of both ⋮ An algebra related with a propositional calculus ⋮ Problems and results for logics about imperatives ⋮ Schopenhauer's partition diagrams and logical geometry ⋮ The logic of obligation and the obligations of the logician ⋮ Prior's defence of Hintikka's theorem. A discussion of Prior's ``The logic of obligation and the obligations of the logician ⋮ Where is ‘There is’ in ‘∃’? ⋮ Aristotle on Universal Quantification: A Study from the Point of View of Game Semantics ⋮ Mathematical modality: an investigation in higher-order logic ⋮ A reduction of classical propositional logic to the conjunction-negation fragment of an intuitionistic relevant logic ⋮ From worlds to possibilities ⋮ Implementing the `Fool's model' of combinatory logic ⋮ Possible worlds in ``The craft of formal logic ⋮ Prior on Aristotle's logical squares ⋮ Objectivity without objects: a Priorian program ⋮ Prior, Berkeley, and the Barcan formula ⋮ Prior on the semantics of modal and tense logic ⋮ Prior and possibly not existing ⋮ Completion, reduction and analysis: three proof-theoretic processes in aristotle’sprior analytics ⋮ De re modality and the new essentialism: a dilemma ⋮ Satisfaction and Friendliness Relations within Classical Logic: Proof-Theoretic Approach ⋮ Modèles à variables de différentes sortes pour les logiques modales \(M\) ou \(S5\) ⋮ THE PERIPATETIC PROGRAM IN CATEGORICAL LOGIC: LEIBNIZ ON PROPOSITIONAL TERMS ⋮ A new use of an automated reasoning assistant: Open questions in equivalential calculus an the study of infinite domains ⋮ On the classical logic of names ⋮ On 'de dicto' modalities in quantified S5 ⋮ Relevance Logic as a Conservative Extension of Classical Logic ⋮ Varieties of rigidity ⋮ Oskar Becker and the modal translation of intuitionistic logic ⋮ Functions of Propositions ⋮ The genesis of possible worlds semantics
This page was built for publication:
