<--- Back to Details
First PageDocument Content
Algebraic logic / Philosophical logic / Modal logic / Algebraic structures / General frame / Kripke semantics / Entailment / Modal algebra / Lindenbaum–Tarski algebra / Logic / Mathematical logic / Mathematics
Algebraic logic
Philosophical logic
Modal logic
Algebraic structures
General frame
Kripke semantics
Entailment
Modal algebra
Lindenbaum–Tarski algebra
Logic
Mathematical logic
Mathematics

Add to Reading List

Source URL: staff.science.uva.nl

Download Document from Source Website

Share Document on Facebook

Similar Documents

1 2 Avicenna sets up a modal logic with a Kripke semantics

DocID: 1uVyg - View Document

RESIDUATED FRAMES WITH APPLICATIONS TO DECIDABILITY NIKOLAOS GALATOS AND PETER JIPSEN Abstract. Residuated frames provide relational semantics for substructural logics and are a natural generalization of Kripke frames in

DocID: 1sSt4 - View Document

Logic / Mathematical logic / Non-classical logic / Modal logic / Proof theory / Philosophical logic / Model theory / Admissible rule / Sequent / Normal modal logic / Kripke semantics / Intuitionistic logic

Hypersequent Systems for the Admissible Rules of Modal and Intermediate Logics Rosalie Iemhoff1 and George Metcalfe2 1 Department of Philosophy, Utrecht University

DocID: 1rmYl - View Document

Logic / Philosophy / Abstraction / Philosophical logic / Revision theory / Truth / Predicate / Supervaluationism / Model theory / Modal logic / Kripke semantics / Mathematical logic

The Semantic Paradoxes and the Paradoxes of Vagueness Hartry Field∗ March 30, 2003 Both in dealing with the semantic paradoxes and in dealing with vagueness and indeterminacy, there is some temptation to weaken classic

DocID: 1qL5i - View Document

Philosophy / Logic / Abstraction / Predicate logic / Theories of truth / Semantics / Philosophical logic / Model theory / Liar paradox / Saul Kripke / Truth / Interpretation

Chapter 11 Revenge, IForms of revenge It is hard enough to find a satisfying response to the paradoxes, but the phenomenon of revenge can make it seem impossible. In the simplest manifestation of revenge - call it

DocID: 1qJWL - View Document