Kripke semantics - PDFSEARCH.IO - Document Search Engine

Kripke semantics
Results: 182

#	Item
1	1 2 Avicenna sets up a modal logic with a Kripke semantics Add to Reading List Source URL: wilfridhodges.co.uk Language: English - Date: 2017-08-11 11:36:18
2	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 Add to Reading List Source URL: math.chapman.edu - Date: 2008-09-05 19:27:35
3	Hypersequent Systems for the Admissible Rules of Modal and Intermediate Logics Rosalie Iemhoff1 and George Metcalfe2 1 Department of Philosophy, Utrecht University Add to Reading List Source URL: www.phil.uu.nl Language: English - Date: 2008-10-20 05:03:57 Logic Mathematical logic Non-classical logic Modal logic Proof theory Philosophical logic Model theory Admissible rule Sequent Normal modal logic Kripke semantics Intuitionistic logic
4	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 Add to Reading List Source URL: philosophy.fas.nyu.edu Language: English - Date: 2006-10-05 23:08:28 Logic Philosophy Abstraction Philosophical logic Revision theory Truth Predicate Supervaluationism Model theory Modal logic Kripke semantics Mathematical logic
5	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 Add to Reading List Source URL: www.keith-simmons.com Language: English - Date: 2012-09-23 12:20:06 Philosophy Logic Abstraction Predicate logic Theories of truth Semantics Philosophical logic Model theory Liar paradox Saul Kripke Truth Interpretation
6	On the rules of intermediate logics Rosalie Iemhoff ∗ Institute for Discrete Mathematics and Geometry E104, Vienna University of Technology Add to Reading List Source URL: www.phil.uu.nl Language: English - Date: 2008-12-12 07:19:27 Logic Mathematical logic Non-classical logic Modal logic Model theory Philosophical logic Admissible rule Intermediate logic Kripke semantics Propositional calculus Completeness Modal companion
7	A(nother) characterization of Intuitionistic Propositional Logic Rosalie Iemho ILLC/Faculty of Science Universiteit van Amsterdam Add to Reading List Source URL: www.phil.uu.nl Language: English - Date: 2010-08-24 07:12:03 Logic Mathematical logic Modal logic Non-classical logic Model theory Propositional calculus Admissible rule Intermediate logic Kripke semantics Substitution FO Modal companion
8	Forthcoming in a volume on the work of Keith Donnellan, edited by Joseph Almog (oxford University Press, Having in Mind Howard Wettstein University of California, Riverside Add to Reading List Source URL: philosophy.ucr.edu Language: English - Date: 2013-07-19 11:29:37 Philosophy Analytic philosophy Philosophy of language Logic Philosophical logic American philosophers Meaning Semantics Theory of descriptions Keith Donnellan Proper name Saul Kripke
9	A Modal Logic for Abstract Delta Modeling Frank de Boer Michiel Helvensteijn Joost Winter Add to Reading List Source URL: www.mhelvens.net Language: English - Date: 2012-09-02 13:47:59 Modal logic Non-classical logic Philosophical logic Model theory Mathematical logic Kripke semantics Substitution Integration by substitution Normal modal logic Linear temporal logic Dirac delta function
10	On interpolation in existence logics Matthias Baaz and Rosalie Iemhoff!! Technical University Vienna, Wiedner Hauptstrasse 8-10, A-1040 Vienna, Austria , , http://www.logic.at/people/baaz, ht Add to Reading List Source URL: www.phil.uu.nl Language: English - Date: 2008-12-12 07:17:45 Proof theory Model theory Non-classical logic Predicate logic Philosophical logic Natural deduction First-order logic Sequent Intuitionistic logic Kripke semantics Interpretation Mathematical logic

UPDATE