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
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 Temporal Logic The term Temporal Logic has been broadly used to cover all approaches to the representation of temporal information within a logical framework, and also more narrowly to refer specifically to the modal-logic type of approach introduced around ...
plato.stanford.edu/entries/logic-temporal
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 Intuitionistic Logic Intuitionistic logic encompasses the principles of logical reasoning which were used by L. E. J. Brouwer in developing his intuitionistic mathematics, beginning in . Because these principles also underly Russian recursive analysis and the ...
plato.stanford.edu/entries/logic-intuitionistic
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 Many-Valued Logic Many-valued logics are non-classical logics. They are similar to classical logic because they accept the principle of truth-functionality, namely, that the truth of a compound sentence is determined by the truth values of its component ...
plato.stanford.edu/entries/logic-manyvalued
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
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
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
THIS IS THE HOME PAGE OF MULTI-VALUED LOGIC Marek Perkowski, Vice-Chair for Technical Activities. Technical Committee on Multiple-Valued Logic, Computer Society. The names Multi-Valued , Multiple-Valued , and Many-Valued Logic are used. Back to the Main WWW Page of Professor Marek Perkowski Multiple-Valued Logic. An International Journal. Bulletins on Multi-Valued Logic, Fuzzy Logic, and Fuzzy ...
www.ee.pdx.edu/~mperkows/ISMVL/=index.html
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
Marking up Temporal Logic To: www-math@w3.org Subject: Marking up Temporal Logic From: Warren Searle ucabwas@ucl.ac.uk Date: Thu, 02 Sep 1999 14:47:43 +0100 From www-math-request@tux.w3.org Thu Sep 2 09: 48:04 1999 Organization: University College London I was hoping someone might be able to advise me on how I can quickly markup some basic first-order temporal logic equations to be included on ...
lists.w3.org/Archives/Public/www-math/msg00496.html
What are Weak Arithmetics HTML version PS version ...
www.univ-paris12.fr/lacl/jaf/html/wa.html
A bibliography of constructive mathematics The following are links to (small) bibliographies for various aspects of constructive mathematics, mostly reflecting my own interests. They are handy to have easily accessible and searchable on the net. I hope they may be useful to some of my colleagues also. Constributions and corrections are welcome! Algebra Analysis Constructive aspects of classical ...
www.math.uu.se/~palmgren/biblio/bib.html
Related Pages Index HOME English HOME Italiano Linear / Relevant / Substructural / Paraconsistent Logics Research / Miscellaneous SRI-ICSL: Linear Logic Homepage Sito ufficiale sulla logica lineare, ricco di links di ogni genere Authors Index Autori di articoli sulla logica lineare Linear Logic Primer Contiene riferimenti ad articoli, indirizzi e-mail utili, ecc. Automated Reasoning Project ...
lgxserver.uniba.it/lei/logica/lglin_lo.htm
Welcome Search About SEI Documents Lists of SEI Documents Recent Reports news@sei interactive Online Magazine news@sei Frequently Asked Questions Addison-Wesley SEI Series Featured Articles & Other Publications Featured Reports Temporal Logic Case Study Technical Report Wood, W. This report is a case study applying temporal logic to specify the operation of a bank of identical elevators ...
www.sei.cmu.edu/publications/documents/89.reports/89.tr.024.html
BRICS Lecture Series, Abstracts, 1997 ...
www.brics.dk/LS/97/Abs/BRICS-LS-97-Abs