Modal Logic: Gödel's Ontological Proof, Counterpart Theory, Admissible Rule, Kripke Semantics, Dynamic Logic, Interior Algebra

Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. Pages: 79. Chapters: G del's ontological proof, Potentiality and actuality, Accessibility relation, Counterpart theory, Admissible rule, Kripke semantics, Dynamic logic, Interior algebra, Epistemic modal logic, Doxastic logic, Essence, Deontic logic, Logico-linguistic modeling, Possible world, General frame, Problem of future contingents, Formal ethics, Modal companion, Fiction theory, Two dimensionalism, Rigid designator, Actualism, Contingency, Subjunctive possibility, De dicto and de re, Modal operator, Impossible world, Frege-Church ontology, Accident, Sahlqvist formula, Imperative logic, Autoepistemic logic, Standard translation, Epistemic possibility, Strict conditional, Modal -calculus, Logical possibility, Modal depth, Condition of possibility, S5, Provability logic, Barcan formula, Neighborhood semantics, Apodicticity, Hybrid logic, KK thesis, Multimodal logic, Metaphysical necessity, Alethic modality, Non-rigid designator, Guarded logic, Modal algebra, Finite model property, Predicate abstraction, Axiom S5, Impossible event, Classical modal logic, Hennessy-Milner logic, Window operator, Alternating-time Temporal Logic, Normal modal logic, Modal fictionalism, Interpretability logic, Conceptual necessity, Assertoric, Gabbay's separation theorem, Regular modal logic. Excerpt: In philosophy, Potentiality and Actuality are principles of a dichotomy which Aristotle used throughout his philosophical works to analyze motion, causality, ethics, and physiology in his Physics, Metaphysics, Ethics and De Anima (which is about the human psyche). The concept of potentiality, in this context, generally refers to any "possibility" that a thing can be said to have. Aristotle did not consider all possibilities the same, and emphasized the importance of those that become real of their own accord when conditions are right and nothing stops them....