Logica Universalis 14 (2):259-277 (2020)

Abstract
This is a short survey on the development of the formal specification and verification language H with emphasis on the scientific part. H is a modern highly expressive language solidly based upon advanced mathematical theories such as the internalisation of Kripke semantics within institution theory.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1007/s11787-020-00249-y
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 50,308
External links

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)
Through your library

References found in this work BETA

The Semantic Conception of Truth and the Foundations of Semantics.Alfred Tarski - 1943 - Philosophy and Phenomenological Research 4 (3):341-376.
Past, present and future.Arthur Prior - 1967 - Revue Philosophique de la France Et de l'Etranger 157:476-476.
A Completeness Theorem in Modal Logic.Saul A. Kripke - 1959 - Journal of Symbolic Logic 24 (1):1-14.
Hybrid Languages.Patrick Blackburn & Jerry Seligman - 1995 - Journal of Logic, Language and Information 4 (3):251-272.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Institution Theory.Răzvan Diaconescu - 2015 - Internet Encyclopedia of Philosophy.
Specification of Nonmonotonic Reasoning.Joeri Engelfriet & Jan Treur - 2000 - Journal of Applied Non-Classical Logics 10 (1):7-26.
Definition-Like Extensions by Sorts.Claudia Maria & Paulo S. Veloso - 1995 - Logic Journal of the IGPL 3 (4):579-595.
Exploring the Future with Resource-Bounded Agents.Michael Fisher & Chiara Ghidini - 2009 - Journal of Logic, Language and Information 18 (1):3-21.
The Problem of Language Variety: An Example From Religious Language.David Crystal - 1976 - Royal Institute of Philosophy Supplement 10:195-207.
The Problem of Language Variety: An Example From Religious Language.David Crystal - 1976 - Royal Institute of Philosophy Lectures 10:195-207.

Analytics

Added to PP index
2020-04-05

Total views
5 ( #1,093,500 of 2,326,024 )

Recent downloads (6 months)
5 ( #165,413 of 2,326,024 )

How can I increase my downloads?

Downloads

My notes