Semantics and Ontology in Quantified Modal Logic Stefano Borgo and Claudio Masolo Laboratory for Applied Ontology, ISTC-CNR, Trento, Italy {borgo, masolo Philosophical logic studies the relationships between - Kripke semantics - Document - PDFSEARCH.IO

First Page	Meta Content
	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 Add to Reading List Document Date: 2011-09-21 10:21:33 Open Document File Size: 38,58 KB Share Result on Facebook Company Oxford University Press / Thomson / Claudio Masolo Laboratory / / / IndustryTerm formal systems / philosophical systems / / Organization Oxford University / / Person Richard L. Mendelsohn / Charles S. Chihara / Melvin Fitting / M. Rea / / Position editor / / PublishedMedium Philosophy of Science / / SocialTag Philosophical logic Model theory Possibility Predicate logic Kripke semantics Possible world Mereology Accessibility relation Interpretation 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 betweenAdd to Reading List