Modal Logic
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.
  plato.stanford.edu/entries/logic-modal/ reviews
Infinitary Logic
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 ...
 plato.stanford.edu/entries/logic-infinitary/ reviews
Peter Suber, Non-Standard Logics
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 ...
www.earlham.edu/~peters/courses/logsys/nonstbib.htm reviews
Advances in Modal Logic : Tools : Computational Tools
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 ...
www.cs.man.ac.uk/~schmidt/tools/ reviews
John Halleck's Logic System Interrelationships
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 ...
www.cc.utah.edu/~nahaj/logic/structures/ reviews
|
Dynamic Logic@