Stanford Encyclopedia of Philosophy A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z Modal Logic A modal is an expression (like necessarily or possibly) that is used to qualify the truth of a judgement. Modal logic is, strictly speaking, the study of the deductive behavior of the expressions it is necessary that and it is possible that.

Stanford Encyclopedia of Philosophy A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z Infinitary Logic Traditionally, expressions in formal systems have been regarded as signifying finite inscriptions which are--at least in principle--capable of actually being written out in primitive notation. However, the fact that (first-order) formulas may ...

A Bibliography of Non-Standard Logics Peter Suber, Philosophy Department, Earlham College Categorical logic Combinatory logic Conditional logic Constructive logic Cumulative logic Deontic logic Dynamic logic Epistemic logic Erotetic logic Free logic Fuzzy logic Higher-order logic Infinitary logic Intensional logic Intuitionistic logic Linear logic Many-sorted logic Many-valued logic Modal logic ...

You are here: AiML : Tools : Computational Tools In recent years the number of computational tools useful for modal logics, and related logics, has increased significantly, and is continously increasing. The following is a list of Accessible theorem provers Translators Automated correspondence theory Visualisation Generators of formulae Collections of problems Related links Your contribution If ...

Logic System Interrelationships Record of Recent Changes to these pages. Table of contents Overview Notation notes Other information Some Propositional Logics Some Deontic Logics Some Temporal Logics Some Alethic Logics Full List of Logic Systems covered There are lots of logic systems (especially modal logic systems) that are related to each other by the addition of an axiom or two. I have only ...

What are Weak Arithmetics HTML version PS version ...