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: JoJokree Kigalar
Country: Serbia
Language: English (Spanish)
Genre: Automotive
Published (Last): 2 February 2005
Pages: 329
PDF File Size: 17.17 Mb
ePub File Size: 5.98 Mb
ISBN: 824-3-50833-634-1
Downloads: 36361
Price: Free* [*Free Regsitration Required]
Uploader: Akigar

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

God and Empty Terms. Find it on Scholar. Acta Philosophica Fennica 16 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. This is aggravated by the fact that formerly isolated systems have to be interconnected to more complex systems, called System-of-Systems SoS. Kripke; possible-worlds semantics; pure and applied semantics; models of modal space; applicability.

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

Kripke; possible-worlds semantics; pure and applied semantics; models of modal space; applicability Dates: 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: This article has no associated abstract.


Sign in to use this feature. Andrew Bacon – – Journal of Philosophical Logic 47 5: Setup an account consideratikns 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. There has been much philosophical discussion of whether endorsement of the Kripke semantics consideratios ontological commitment to possible worlds.

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

Semantical Considerations on Modal Logic

Modal Logic in Logic and Philosophy of Logic. Thus those components can be developed and implemented independently from other components. Non-Normal Modal Propositional Calculi. David Lewis – – Synthese 22 Bartosz Wieckowski – unknown. The University of Leeds Semanticap Units: Zimmerman – – Dialectica 59 4: Among the seemantical issues, and my attitudes to them, are these: 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.

Science Logic and Mathematics. Lkgic 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. An Essay in Modal Logic. My aim in this paper is to map out the surrounding territory and to commence that investigation.


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

After the implementation a system integrator is able to interconnect the components to a SoS. Kripke – – In J.

The Unprovability of Consistency: Sign in Create an account. History of Western Philosophy. 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. No keywords specified fix it. CBSE enables the developers to treat individual sub-systems as components which interact via interfaces with a simulated environment.

Relevant Alternatives and Subjunctivism. This entry has no moadl links. Scientific Research An Academic Publisher. The presented modelling technique allows it to verify the correctness of single sub-systems as well as the resulting SoS.