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: Gardajar Megor
Country: Bangladesh
Language: English (Spanish)
Genre: Environment
Published (Last): 20 April 2012
Pages: 313
PDF File Size: 16.30 Mb
ePub File Size: 14.92 Mb
ISBN: 601-4-85469-501-3
Downloads: 34654
Price: Free* [*Free Regsitration Required]
Uploader: Dulrajas

Sign in Create an account. The University of Leeds Academic Units: 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 krilke SoS. Kripke; possible-worlds semantics; pure and applied semantics; models of modal space; applicability.

Setup an account with your affiliations in order to access resources via your University’s proxy server Configure custom moda, use this if your affiliation does not provide a proxy.

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. The Unprovability of Consistency: Proceedings of the International Symposium at Berkeley. Kripke; possible-worlds semantics; pure and applied semantics; models of modal space; applicability Dates: This is aggravated by the fact that formerly isolated systems have to be interconnected to more complex systems, called System-of-Systems SoS.


Relevant Alternatives and Subjunctivism. Thus those components can be developed and implemented independently from other components. CBSE enables the developers to treat individual sub-systems as components which interact via interfaces with a simulated environment. Request removal from index.

No keywords specified fix it. Kripke – – In J. 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.

God and Empty Terms. Acta Philosophica Fennica 16 Find it on Scholar. 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.

Zimmerman – – Dialectica 59 4: My aim in this paper is to map out the surrounding territory and to commence that investigation.

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

Non-Normal Modal Propositional Calculi. George Boolos – – Cambridge University Press. Symplectic Publications Date Deposited: Epistemic Closure and Epistemic Logic I: David Lewis – – Synthese 22 Andrew Bacon – – Journal of Philosophical Logic 47 5: Bartosz Wieckowski – unknown. This article has no associated abstract.

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.

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

There has been much philosophical discussion of whether endorsement of the Kripke semantics brings ontological commitment to possible worlds. Among the surrounding issues, and my attitudes to them, are these: Edit this record Mark as duplicate Export citation Find considdrations on Scholar Request removal from index Translate to english Revision history.


Semantical Analysis of Modal Logic I. Modal Logic in Logic and Philosophy of Logic. An Essay in Modal Logic.

Semantical Considerations on Modal Logic

History of Western Philosophy. Science Logic and Mathematics. Those systems are in charge to provide more functionality to the user than all of their independent sub-systems could do.

Sign in to use this feature. Reducing consideratiins complexity of such systems is one goal of the software engineering paradigm called component-based software engineering CBSE. Holliday – – Journal of Philosophical Logic 44 1: The presented modelling technique allows it to verify the correctness of single sub-systems as well as the resulting SoS.

Acta Philosophica Fennica, 16, Added to PP index Total downloads 1, of 2, Recent downloads 6 months 3, of 2, How can I increase my downloads?

After the implementation a system integrator is able to interconnect the components to a SoS. Scientific Research An Academic Publisher. Leonard Linsky – – London: