House of Wisdom
author
Finite model property
disjunction property
owner
Dasein
The Adventures of Sherlock Holmes
Short Stories in Parsi
empty domain
Dana Stewart Scott
Computer Science
Computing Science
Tarbiat Modares university
student
positivism
Davood Hosseini
Introduction to Algorithms
An Introduction to Modal Logic
An Introduction to Non-Classical Logic
Introduction to Logic and to the Methodology of Deductive Sciences
A New Introduction to Modal Logic
On Certainty
On Denoting
On the Revolutions of the Celestial Spheres
implication
Strict implication
Material implication
intensionalism
sound
soundness
subject
subjectivism
internalist
internalism
intuition
intuitionist
intuitionism
perception
Necessitation rule
Dastur Khanlari be Parsi
Dastur-e zaban be Parsi
Generalization
Dastur Parsi Farzad
Admissible rule
rules of derivation
structural rules
deductive apparatus
Del-e Nahan
First Degree Entailment
Entailment: The Logic of Relevance and Necessity
Entailment: The Logic of Relevance and Necessity
De Morgan
two-valued
double-indexing
Double negation
farthest
friend
Monday
second-largest
Donald Herbert Davidson
dualism
dialectic
Dr
differentiation
yesterday
non-formalized
formalism
Barcan formula
closed formula
Buridan formula
Controversial formulas in Quantified Modal Logic
David Lewis
David Hilbert
David Hume
Davidsonian
Dewey
biconditional
vicious circle