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.
|Published (Last):||22 January 2005|
|PDF File Size:||10.71 Mb|
|ePub File Size:||18.80 Mb|
|Price:||Free* [*Free Regsitration Required]|
Relevant Alternatives and Subjunctivism. Setup an account with your affiliations in order to semantucal resources via your University’s proxy server Configure custom proxy use this if your affiliation does not provide a proxy.
Edit this record Mark as duplicate Export citation Find it on Scholar Request removal from index Translate to english Revision history.
This entry has no external links. History of Western Philosophy. Acta Philosophica Fennica, 16, Kripke; possible-worlds semantics; pure and applied semantics; models of modal space; applicability Dates: David Lewis – – Synthese 22 The University of Leeds Academic Units: Consicerations Logic in Logic and Philosophy of Logic.
Saul A. Kripke, Semantical Considerations on Modal Logic – PhilPapers
Among the surrounding issues, and my attitudes to them, are these: Find it on Scholar. Zimmerman – – Dialectica 59 llogic Sign in Create an account. There has been much philosophical discussion of whether endorsement of the Kripke semantics brings ontological commitment to possible worlds.
The Unprovability of Consistency: Kripke; possible-worlds semantics; pure and applied semantics; models of modal space; applicability.
Non-Normal Modal Propositional Calculi.
Semantical Considerations on Modal Logic
CBSE enables the developers to treat individual sub-systems as components which interact via interfaces with a simulated environment. Thus those components can be developed and implemented independently from senantical components. This is aggravated logi the fact that formerly isolated systems have to be interconnected to more complex systems, called System-of-Systems SoS.
Andrew Bacon – – Journal of Philosophical Logic 47 5: Epistemic Closure and Epistemic Logic I: After the implementation a system integrator is able to interconnect the components to a SoS.
Mmodal of the International Symposium at Berkeley. Leonard Linsky – – London: My aim in this paper is to map out the surrounding territory and to commence that investigation. Those systems are in charge to provide more functionality to the user than all of their independent sub-systems could do.
An Essay in Modal Logic.
The presented modelling technique allows it to modxl the correctness of single sub-systems as well as the resulting SoS. Scientific Research An Academic Publisher.
God and Empty Terms. Science Logic and Mathematics.
Philosophical Issues From Kripke’s ‘Semantical Considerations on Modal Logic’
Symplectic Publications Date Deposited: No keywords specified fix it. 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.
Added to PP index Total downloads 1, of 2, Recent downloads 6 months 3, of 2, How can I increase my downloads? Request removal from index. Semantical Analysis of Modal Logic I. Sign in to use this feature. 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.
Holliday – – Journal of Philosophical Logic 44 1: 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. To emphasize this issue we developed a technique based on interconnected timed automata for modelling sub-systems semanticla System-of-Systems in the model checking tool UPPAAL.
Bartosz Wieckowski – unknown. Acta Philosophica Fennica 16 This article has no associated abstract.
George Boolos – – Cambridge University Press. 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.
Reducing the complexity of such systems is one goal of the software engineering paradigm called component-based software engineering CBSE.