Modal companion - PDFSEARCH.IO - Document Search Engine

Modal companion
Results: 5

#	Item
1	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
2	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
3	Properties of Intuitionistic Provability LogicsRosalie Iemhoff Dick de Jongh Chunlai Zhou Add to Reading List Source URL: www.phil.uu.nl Language: English - Date: 2008-12-12 07:46:31 Modal logic Model theory Non-classical logic Philosophical logic Proof theory Normal modal logic First-order logic Propositional calculus Provability logic Mathematical logic Interpretation Modal companion
4	Belief contraction through safe formulas Viktoriia Kozyreva Ufa State Aviation Technical University Ufa, Russia Center for Artificial Intelligence (CENTRIA), New University of Lisbon, Add to Reading List Source URL: gregorywheeler.org Language: English - Date: 2012-07-09 04:55:23 Standard translation Belief revision First-order logic Accessibility relation Interpretation Modal operator Modal companion Kripke semantics Logic Mathematical logic Modal logic
5	Lax Logical Relations Gordon Plotkin1 , John Power1 , Donald Sannella1 Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2004-06-30 10:44:07 Model theory Structure Parity of a permutation Interpretation Tensor product Orbifold Modal companion Abstract algebra Mathematics Algebra

UPDATE