EMANTICAL CONSIDERATIONS ON MODAL LOGIC. SAUL A. KRIPKE. HIS paper gives an exposition of some features of a semantical theory f modal logics. SAUL A. KRIPKE. Semantical considerations for modal logics. Proceedings of a Colloquium on Modal and Many-valued Logics, Helsinki, August, Kripke Saul A.. Semantical considerations for modal logics. Proceedings of a Colloquium on Modal and Many-valued Logics, Helsinki, August, , Acta.

Author: Dusho Vikree
Country: Malta
Language: English (Spanish)
Genre: Politics
Published (Last): 17 September 2012
Pages: 393
PDF File Size: 13.97 Mb
ePub File Size: 12.95 Mb
ISBN: 648-1-23436-396-7
Downloads: 88372
Price: Free* [*Free Regsitration Required]
Uploader: Diktilar

David Lewis – – Synthese 22 Bartosz Wieckowski – unknown. Sign in to use this feature. Sign in Create an account. Semantical Analysis of Modal Logic I. Proceedings of the International Symposium at Berkeley. However, that discussion is less than satisfactory because it has been conducted without the necessary investigation of the surrounding philosophical issues that are raised by the Kripke semantics.

After the implementation a system integrator is able to interconnect the components to a SoS. George Boolos – – Cambridge University Press.

Philosophical Issues From Kripke’s ‘Semantical Considerations on Modal Logic’

No keywords specified fix it. There has been much philosophical discussion of whether endorsement of the Kripke semantics brings ontological commitment to possible worlds. CBSE enables the developers to treat individual sub-systems as components which interact via interfaces with a simulated environment.


The Unprovability of Consistency: This entry has no external links.

Leonard Linsky – – London: Kripke; possible-worlds semantics; pure and applied semantics; models of modal space; applicability Dates: Non-Normal Modal Propositional Calculi.

Acta Philosophica Fennica 16 Among the surrounding issues, and my attitudes to them, are these: Setup an account with your affiliations in order to access resources via your University’s proxy server Configure custom proxy use this if your affiliation does not provide a proxy. This is aggravated by the fact that formerly isolated consideration have to be interconnected to more complex systems, called System-of-Systems SoS.

Despite this much-used approach it is possible to show that constraints, which are valid in an isolated sub-system, are broken after this system is integrated into a SoS.

Scientific Research An Academic Publisher. An Essay in Modal Logic. Carnap in clearly distinguishing variation across the worlds within a model of modal space from variation across such models and, finally, 6 the normative nature of the concept of applicability, of the pure semantic theory, is both of crucial importance and largely ignored. History of Western Philosophy.

Saul A. Kripke, Semantical Considerations on Modal Logic – PhilPapers

Relevant Alternatives and Subjunctivism. My aim in this paper is to map out the surrounding territory and to commence that investigation.


Find it on Scholar. Edit this record Mark as duplicate Export citation Find it on Scholar Request removal from index Translate to english Revision history. Science Logic and Mathematics. Symplectic Publications Date Deposited: This article has no associated abstract.

Semantical Considerations on Modal Logic

Epistemic Closure and Epistemic Logic I: Kripke; possible-worlds semantics; pure and applied semantics; consideratuons of modal space; applicability. Additionally we developed a tool which abstracts the complicated timed automata to an easy to read component based language with the goal to help system integrators building and verifying complex SoS. To emphasize this issue we developed a technique based on interconnected timed automata for modelling sub-systems and System-of-Systems in the model checking tool UPPAAL.

Acta Olgic Fennica, 16, Andrew Bacon – – Journal of Philosophical Logic 47 5: Request removal from index.

Reducing the complexity of such systems is one goal of the software engineering paradigm called component-based software engineering CBSE.