Barcan formula - PDFSEARCH.IO - Document Search Engine

Barcan formula
Results: 7

#	Item
1	Fitting’s Embedding of Classical Logic in S4 and Trace Properties in the Computational Model (Extended Abstract) Gergei Bana INRIA Paris, France Add to Reading List Source URL: software.imdea.org Language: English - Date: 2014-07-17 09:25:53 Logic Mathematical logic Non-classical logic Philosophical logic Predicate logic Model theory First-order logic Barcan formula Modal logic KeY
2	Prior, Berkeley, and the Barcan Formula James Levine Trinity College, Dublin In his 1955 paper “Berkeley in Logical Form”, A. N. Prior argues that in his so–called master Add to Reading List Source URL: conference.prior.aau.dk Language: English - Date: 2014-08-18 11:50:05
3	Bad Company Tamed Øystein Linnebo University of Bristol Draft of 8 May Abstract Add to Reading List Source URL: www.oysteinlinnebo.org Language: English - Date: 2012-10-19 03:56:46 Modal logic Metalogic Model theory Formal languages First-order logic Individuation Function Well-formed formula Barcan formula Logic Mathematical logic Mathematics
4	Properties, Individuals, and Contingency Add to Reading List Source URL: www.philosophy.ox.ac.uk Language: English - Date: 2009-07-03 04:45:28 Philosophical logic Model theory Philosophy of language Semantics Barcan formula Kripke semantics Interpretation Possible world S5 Logic Mathematical logic Modal logic
5	Bernard Linsky and Edward N. Zalta In Defense of the Contingently Nonconcrete∗ Add to Reading List Source URL: mally.stanford.edu Language: English - Date: 2006-06-01 01:04:19 Metaphysics Ontology Possibility Actualism Possible world Abstract object Essence Barcan formula Concept Logic Modal logic Philosophy
6	Michael Nelson and Edward N. Zalta[removed]Introduction ∗ Add to Reading List Source URL: mally.stanford.edu Language: English - Date: 2008-12-25 15:55:57 Modal logic Philosophical logic Predicate logic Possibility Actualism Barcan formula Universal quantification Uniqueness quantification QML Mathematical logic Logic Quantification
7	PDF Document Add to Reading List Source URL: comet.lehman.cuny.edu Language: English - Date: 2013-07-10 12:43:37 Model theory Semantics Predicate logic Formal languages Metalogic Interpretation First-order logic Barcan formula Function Logic Mathematical logic Mathematics

UPDATE