Fitting’s Embedding of Classical Logic in S4 and Trace Properties in the Computational Model (Extended Abstract) Gergei Bana INRIA Paris, France

Source URL: software.imdea.org

• Logic
• Mathematical logic
• Non-classical logic
• Philosophical logic
• Predicate logic
• Model theory
• First-order logic
• Barcan formula
• Modal logic
• KeY

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

Source URL: conference.prior.aau.dk

Bad Company Tamed Øystein Linnebo University of Bristol Draft of 8 May Abstract

Source URL: www.oysteinlinnebo.org

• Modal logic
• Metalogic
• Model theory
• Formal languages
• First-order logic
• Individuation
• Function
• Well-formed formula
• Barcan formula
• Logic
• Mathematical logic
• Mathematics

Properties, Individuals, and Contingency

Source URL: www.philosophy.ox.ac.uk

• Philosophical logic
• Model theory
• Philosophy of language
• Semantics
• Barcan formula
• Kripke semantics
• Interpretation
• Possible world
• S5
• Logic
• Mathematical logic
• Modal logic

Bernard Linsky and Edward N. Zalta In Defense of the Contingently Nonconcrete∗

Source URL: mally.stanford.edu

• Metaphysics
• Ontology
• Possibility
• Actualism
• Possible world
• Abstract object
• Essence
• Barcan formula
• Concept
• Logic
• Modal logic
• Philosophy

Michael Nelson and Edward N. Zalta[removed]Introduction ∗

Source URL: mally.stanford.edu

• Modal logic
• Philosophical logic
• Predicate logic
• Possibility
• Actualism
• Barcan formula
• Universal quantification
• Uniqueness quantification
• QML
• Mathematical logic
• Logic
• Quantification

PDF Document

Source URL: comet.lehman.cuny.edu

• Model theory
• Semantics
• Predicate logic
• Formal languages
• Metalogic
• Interpretation
• First-order logic
• Barcan formula
• Function
• Logic
• Mathematical logic
• Mathematics