AbstractEarlier work has shown that a form of possible-world semantics allows elegant solutions to certain difficult problems in the modelling of local-variable declarations and noninterference specifications in a generalization of Hoare's logic suitable for algol 60-like languages with procedures. In this work it is shown how jumps and block expressions can be treated in this framework
In this article, we develop a bimodal perspective on possibility semantics , a framework allowing pa...
In traditional semantics for classical logic and its extensions, such as modal logic, propositions a...
50 pagesRelying on the formulae-as-types paradigm for classical logic, we define a program logic for...
AbstractEarlier work has shown that a form of possible-world semantics allows elegant solutions to c...
This chapter provides an introduction to possible worlds semantics in both logic and the philosophy ...
One approach to specifying the meaning of pieces of languages is to treat those meanings as construc...
We develop possible worlds semantics for as a predicate rather than as an operator of sentences. T...
In "A Problem in Possible-World Semantics," David Kaplan presented a consistent and intelligible mod...
Possible worlds are commonly seen as an interpretation of modal operators such as "possible" and "ne...
If is conceived as an operator, i.e., an expression that gives applied to a formula another formul...
This work sets out the main ideas concerning a semantics of possible worlds for epistemic logics whi...
AbstractLocal variables in imperative languages have been given denotational semantics in at least t...
Standard possible worlds semantics has been known from the start to have a problem with granularity:...
This paper is about the relation between two kinds of models for propositional modal logic: possibil...
In this paper we develop a bimodal perspective on possibility semantics, a framework allowing partia...
In this article, we develop a bimodal perspective on possibility semantics , a framework allowing pa...
In traditional semantics for classical logic and its extensions, such as modal logic, propositions a...
50 pagesRelying on the formulae-as-types paradigm for classical logic, we define a program logic for...
AbstractEarlier work has shown that a form of possible-world semantics allows elegant solutions to c...
This chapter provides an introduction to possible worlds semantics in both logic and the philosophy ...
One approach to specifying the meaning of pieces of languages is to treat those meanings as construc...
We develop possible worlds semantics for as a predicate rather than as an operator of sentences. T...
In "A Problem in Possible-World Semantics," David Kaplan presented a consistent and intelligible mod...
Possible worlds are commonly seen as an interpretation of modal operators such as "possible" and "ne...
If is conceived as an operator, i.e., an expression that gives applied to a formula another formul...
This work sets out the main ideas concerning a semantics of possible worlds for epistemic logics whi...
AbstractLocal variables in imperative languages have been given denotational semantics in at least t...
Standard possible worlds semantics has been known from the start to have a problem with granularity:...
This paper is about the relation between two kinds of models for propositional modal logic: possibil...
In this paper we develop a bimodal perspective on possibility semantics, a framework allowing partia...
In this article, we develop a bimodal perspective on possibility semantics , a framework allowing pa...
In traditional semantics for classical logic and its extensions, such as modal logic, propositions a...
50 pagesRelying on the formulae-as-types paradigm for classical logic, we define a program logic for...
DOI
Add to ORKG