Anonymous

Not logged in

  • Create account
  • Log in
HandWiki

Help

Category:Modal logic

From HandWiki

Namespaces

  • Category
  • Discussion

More

  • More
  • Languages

Page actions

  • Read
  • View source
  • History
  • ZWI Export

Computing portal

Here is a list of articles in the Modal logic category of the Computing portal that unifies foundations of mathematics and computations using computers.

The main article for this category is Modal logic.

Subcategories

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

M

  • Modal logicians (11 P)

P

  • Provability logic (3 P)

Pages in category "Modal logic"

The following 31 pages are in this category, out of 31 total.

 

  • Free choice inference
  • Modal logic
  • Simplification of disjunctive antecedents

A

  • Admissible rule
  • Modal algebra
  • Philosophy:Assertoric
  • Philosophy:Assertoricity

C

  • Philosophy:Classical modal logic
  • Philosophy:Modal collapse
  • Philosophy:Conditional logic

D

  • Dynamic logic (modal logic)

E

  • Epistemic modal logic
  • Philosophy:Essence

G

  • General frame
  • Philosophy:Gödel's ontological proof

H

  • Hennessy–Milner logic
  • Philosophy:Hybrid logic

I

  • Interior algebra

K

  • Kripke semantics

L

  • Logico-linguistic modeling

M

  • Philosophy:Meaning and Necessity
  • Philosophy:Multimodal logic

O

  • Philosophy:Ontic
  • Modal operator

P

  • Philosophy:Possible world
  • Philosophy:Potentiality and actuality
  • Problem of future contingents

S

  • Philosophy:Sahlqvist formula
  • Philosophy:Modal fallacy
  • Philosophy:Modal scope fallacy

T

  • Philosophy:Two-dimensionalism
Retrieved from "https://handwiki.org/wiki/index.php?title=Category:Modal_logic&oldid=520368"
Categories:
  • Non-classical logic
  • Mathematical logic
  • Logic in computer science
Encyclopedia of Knowledge
Main page Data analysis Mathematics
 Natural Sciences Astronomy & Space Biology Computer concepts Chemistry Physics Earth studies Unsolved problems
 Humanities History Philosophy Social studies Religion Medicine
 Technology & Finance Engineering & Tech Software programs Finance & Business
Biographies Organizations Companies Places
Books Monographs Tutorials Manuals

Navigation

Navigation

  • Add a new article
  • Search in all topics
  • Search in namespaces
  • Search in categories
  • Search using prefix

Resources

  • About HandWiki
  • Curated blogs
  • Support & donate
  • FAQs

Help

  • How to edit
  • Citation manager
  • Formatting articles
  • List of categories
  • Recent pages
  • Recent changes
  • Random page

googletranslator

    Navigation

    • Special pages

    Wiki tools

    Wiki tools

      Page tools

      Page tools

        User page tools

          More

          • What links here
          • Related changes
          • Printable version
          • Permanent link
          • Page information
          • Page logs

          Other projects

          In other languages

            Add links

            In other projects

              Categories

              Categories

              • Non-classical logic
              • Mathematical logic
              • Logic in computer science
              • Creative Commons Attribution-ShareAlike
              • Powered by MediaWiki
              • This page was last edited on 16 January 2021, at 07:45.
              • Content is available under Creative Commons Attribution-ShareAlike unless otherwise noted.
              • Privacy policy
              • About HandWiki
              • Disclaimers