Independence-friendly logic - PDFSEARCH.IO - Document Search Engine

Independence-friendly logic
Results: 11

#	Item
1	Independence friendly logic with classical negation via flattening is a second-order logic with weak dependencies Santiago Figueira Daniel Gor´ın Add to Reading List Source URL: www.glyc.dc.uba.ar Language: English - Date: 2013-08-19 18:50:17 Model theory Logical syntax Philosophical logic Interpretation Entailment First-order logic Prenex normal form Well-formed formula Logical connective Logic Metalogic Formal languages
2	On the Formal Semantics of IF-like Logics Santiago Figueiraa,b , Daniel Gor´ına , Rafael Grimsonc a Departamento de Computaci´ on, FCEyN Add to Reading List Source URL: www.glyc.dc.uba.ar Language: English - Date: 2009-10-23 18:50:09 Model theory Predicate logic Non-classical logic Quantification Interpretation First-order logic Independence-friendly logic FO Lambda calculus Logic Mathematical logic Philosophical logic
3	On the Formal Semantics of IF-like Logics Santiago Figueira∗ Daniel Gor´ın∗ Rafael Grimson† Add to Reading List Source URL: www.glyc.dc.uba.ar Language: English - Date: 2008-07-19 15:45:01 Model theory Philosophical logic Semantics Non-classical logic First-order logic Interpretation Lambda calculus Independence-friendly logic FO Logic Mathematical logic Mathematics
4	Scope and the Grammar of Choice Adrian Brasoveanu, Donka F. Farkas UC Santa Cruz 1 Add to Reading List Source URL: people.ucsc.edu Language: English - Date: 2015-01-24 16:05:41 Predicate logic Model theory Quantification First-order logic Interpretation Independence-friendly logic Discourse representation theory Skolem normal form Well-formed formula Logic Mathematical logic Semantics
5	Imperfect Information in Logic and Concurrent Games Pierre Clairambault1 , Julian Gutierrez2 , and Glynn Winskel1 1 2 Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-03-06 10:39:50 Mathematics Philosophical logic Logic in computer science Structure Universal algebra Symbol Determinacy Independence-friendly logic Game semantics Logic Mathematical logic Model theory
6	A Compositional Game Semantics for Multi-Agent Logics of Partial Information Samson Abramsky Oxford University Computing Laboratory Abstract Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2013-06-06 21:36:07 Semantics Formal languages Predicate logic Independence-friendly logic Game semantics Interpretation First-order logic Model theory Entailment Logic Philosophical logic Metalogic
7	Socially Responsive, Environmentally Friendly Logic Samson Abramsky Oxford University Computing Laboratory Abstract We consider the following questions: What kind of logic has a natural semantics in Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2013-06-06 21:33:53 Semantics Formal languages Predicate logic Independence-friendly logic Game semantics Interpretation First-order logic Model theory Entailment Logic Philosophical logic Metalogic
8	What kind of logic is “Independence Friendly” logic? Solomon Feferman 1. Two kinds of logic. To a first approximation there are two main kinds of pursuit in Add to Reading List Source URL: math.stanford.edu Language: English - Date: 2004-11-27 19:12:48 Semantics Predicate logic Quantification Philosophical logic Independence-friendly logic First-order logic Skolem normal form Second-order logic Branching quantifier Logic Mathematical logic Model theory
9	Gabriel Sandu Professor of theoretical philosophy, Department of Philosophy, University of Helsinki Add to Reading List Source URL: www.helsinki.fi Language: English - Date: 2009-11-02 04:16:06 Analytic philosophy Philosophy Jaakko Hintikka Norwegian Academy of Science and Letters Philosophical logic University of Paris 1 Pantheon-Sorbonne University of Helsinki Game semantics Independence-friendly logic Logic Analytic philosophers Logicians
10	PDF Document Add to Reading List Source URL: drops.dagstuhl.de Language: English - Date: 2011-12-01 09:29:51 Logical syntax Philosophical logic Mathematical logic First-order logic Interpretation Dependence logic Well-formed formula Independence-friendly logic Function Logic Predicate logic Metalogic