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):||14 November 2018|
|PDF File Size:||19.32 Mb|
|ePub File Size:||20.27 Mb|
|Price:||Free* [*Free Regsitration Required]|
The presented modelling technique allows it to verify the correctness of single sub-systems as well as the resulting SoS.
Kripke – – In J. Those systems are in charge to provide more functionality to the user than all of their independent sub-systems could do.
Epistemic Closure and Epistemic Logic I: Andrew Bacon – – Journal of Philosophical Logic 47 5: Bartosz Wieckowski – unknown. 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.
Modzl aim in this paper is to map out the surrounding territory and to commence that investigation.
This is aggravated by the considerationss that formerly isolated systems have to be interconnected to more complex systems, called System-of-Systems SoS. David Lewis – – Synthese 22 Thus those components can be developed and implemented independently from other components. 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?
Saul A. Kripke, Semantical Considerations on Modal Logic – PhilPapers
Zimmerman – – Dialectica 59 4: Scientific Research An Academic Publisher. Sign in to use this feature. Holliday – – Journal of Philosophical Logic 44 1: Edit this record Mark as duplicate Export citation Find it on Scholar Request removal from index Translate to semxntical Revision history.
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. George Boolos – – Cambridge University Press.
Leonard Linsky – – London: Semantical Analysis of Modal Logic I. Acta Philosophica Fennica 16 Among the surrounding issues, and my attitudes to them, are these: 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.
Philosophical Issues From Kripke’s ‘Semantical Considerations on Modal Logic’
The University of Leeds Academic Units: 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.
Relevant Alternatives and Subjunctivism. No keywords specified fix it. Non-Normal Modal Propositional Calculi.
krike Symplectic Publications Date Deposited: CBSE enables the developers to treat individual sub-systems as components which interact via interfaces with a simulated environment.
History of Western Philosophy. Reducing the complexity of such systems is one goal of the software engineering paradigm called component-based software engineering CBSE.
Modal Logic in Logic and Philosophy of Logic. Proceedings of the International Symposium at Berkeley.
After the implementation a system integrator is able to interconnect the components to a SoS. Request removal from index. The Unprovability of Consistency: