Category:Modal logic

From Wikipedia, the free encyclopedia

Jump to: navigation, search

The main article for this category is Modal logic.

Wikimedia Commons has media related to: Modal logic

Subcategories

This category has the following 5 subcategories, out of 5 total.

A

• ► Axioms of modal logic‎ (2 P)

M

• ► Modal logicians‎ (5 P)

N

• ► Necessity‎ (8 P)

P

• ► Possibility‎ (16 P)

T

• ► Temporal logic‎ (11 P)

Pages in category "Modal logic"

The following 69 pages are in this category, out of 69 total. This list may not reflect recent changes (learn more).

Modal logic A Accessibility relation Accident (philosophy) Actualism Admissible rule Alethic modality Alternating-time Temporal Logic Apodicticity Assertoric Autoepistemic logic Axiom S5 B Barcan formula C Classical modal logic Conceptual necessity Condition of possibility Contingency (philosophy) Counterpart theory D De dicto and de re Deontic logic Doxastic logic Dynamic logic (modal logic) E Epistemic modal logic Epistemic possibility

E cont. Essence F Fiction theory Finite model property Formal ethics Frege–Church ontology G Gabbay's separation theorem General frame Gödel's ontological proof Guarded logic H Hennessy–Milner logic Hybrid logic I Imperative logic Impossible event Impossible world Interior algebra Interpretability logic K KK thesis Kripke semantics L Logical possibility Logico-linguistic modeling M Metaphysical necessity Modal algebra Modal companion

M cont. Modal depth Modal fictionalism Modal operator Modal μ-calculus Multimodal logic N Neighborhood semantics Non-rigid designator Normal modal logic O Ontic P Possible world Potentiality and actuality Predicate abstraction Problem of future contingents Provability logic R Regular modal logic Rigid designator S S5 (modal logic) Sahlqvist formula Standard translation Strict conditional Subjunctive possibility T Two-dimensionalism W Window operator

Retrieved from "http://en.wikipedia.org/w/index.php?title=Category:Modal_logic&oldid=420111727"

Categories:

• Non-classical logic
• Mathematical logic

• This page was last modified on 22 March 2011 at 07:59.
  
• Text is available under the Creative Commons Attribution-ShareAlike License; additional terms may apply. See Terms of use for details.
  Wikipedia® is a registered trademark of the Wikimedia Foundation, Inc., a non-profit organization.
  
• Contact us

• Privacy policy
• About Wikipedia
• Disclaimers
• Mobile view