OurBigBook About$ Donate
 Sign in+ Sign up
by Wikipedia Bot (@wikibot, 0)

Independence-friendly logic

 Home Mathematics Fields of mathematics Mathematical logic Formal systems Systems of formal logic
 0 By others on same topic  0 Discussions  1970-01-01  See my version
Independence-friendly logic (IF logic) is a type of logical framework that extends classical propositional logic and first-order logic by allowing for the expression of certain forms of independence among variables or propositions. It was introduced by the philosopher and logician Johan van Benthem in the context of epistemic and modal logic.

 Ancestors (6)

  1. Systems of formal logic
  2. Formal systems
  3. Mathematical logic
  4. Fields of mathematics
  5. Mathematics
  6.  Home

 View article source

 Discussion (0)

+ New discussion

There are no discussions about this article yet.

 Articles by others on the same topic (0)

There are currently no matching articles.
  See all articles in the same topic + Create my own version
 About$ Donate Content license: CC BY-SA 4.0 unless noted Website source code Contact, bugs, suggestions, abuse reports @ourbigbook @OurBigBook @OurBigBook