<--- Back to Details
First PageDocument Content
Modal logic / Model theory / Philosophical logic / Predicate logic / Counterpart theory / Interpretation / Mereology / Function / Accessibility relation / Logic / Mathematical logic / Mathematics
Date: 2012-01-26 03:16:47
Modal logic
Model theory
Philosophical logic
Predicate logic
Counterpart theory
Interpretation
Mereology
Function
Accessibility relation
Logic
Mathematical logic
Mathematics

Canonical Counterpart Theory

Add to Reading List

Source URL: spot.colorado.edu

Download Document from Source Website

File Size: 111,51 KB

Share Document on Facebook

Similar Documents

Logic / Mathematical logic / Philosophy / Modal logic / Non-classical logic / Philosophical logic / Model theory / Logic in computer science / Intuitionistic logic / Kripke semantics / Multimodal logic / Accessibility relation

MFPSMultimodal Separation Logic for Reasoning About Operational Semantics Robert Dockins

DocID: 1lY6n - View Document

Model theory / Philosophical logic / Non-classical logic / Interpretation / S5 / Accessibility relation / Logical connective / Propositional calculus / Linear temporal logic / Logic / Mathematical logic / Modal logic

Propositional Modal Logic∗ John MacFarlane—Philosophy 142 February 15, 2011 1

DocID: 17vY0 - View Document

Modal logic / Philosophical logic / Semantics / Philosophy of language / Possibility / Kripke semantics / Modal realism / Accessibility relation / Possible world / Logic / Philosophy / Mathematical logic

Worlds, Models, and Descriptions John F. Sowa Abstract. Since the pioneering work by Kripke and Montague, the term possible world has appeared in most theories of formal semantics for modal logics, natural languages, and

DocID: ZIjq - View Document

Philosophical logic / Model theory / Possibility / Predicate logic / Kripke semantics / Possible world / Mereology / Accessibility relation / Interpretation / Logic / Mathematical logic / Modal logic

Semantics and Ontology in Quantified Modal Logic Stefano Borgo and Claudio Masolo Laboratory for Applied Ontology, ISTC-CNR, Trento, Italy {borgo, masolo}@loa-cnr.it Philosophical logic studies the relationships between

DocID: ZxaS - View Document

Records management / Accessibility / Developmental disability / Freedom of information legislation / Right to Information Act / Emergency management / Accountability / Health / Fire and Emergency Services Authority of Western Australia / Business

OTHER LEGAL REQUIREMENTS ADVERTISING The obligatory report in relation to advertising and sponsorship is contained in the Notes to Financial Statements on page[removed]DISABILITY ACCESS AND INCLUSION PLAN OUTCOMES

DocID: YTxB - View Document