Results 241 to 250 of about 22,425,765 (287)
Some of the next articles are maybe not open access.
A modal analysis of staged computation
Journal of the ACM, 1995We show that a type system based on the intuitionistic modal logic S4 provides an expressive framework for specifying and analyzing computation stages in the context of typed λ-calculi and functional languages. We directly demonstrate the sense in which our λ e →□ -calculus captures staging, and also ...
Rowan Davies, Frank Pfenning
openaire +2 more sources
A Modal Analysis of Presupposition and Modal Subordination
Journal of Semantics, 2005In this paper I will give a modal two-dimensional analysis of presupposition and modal subordination. I will think of presupposition as a non-veridical propositional attitude. This allows me to evaluate what is presupposed and what is asserted at different dimensions without getting into the binding problem.
openaire +2 more sources
A modal analysis of possibility theory
1991In this paper we study possibility theory from the point of view of modal logic. Our first and main result is that the logic of qualitative possibility is nothing else than Lewis's conditional logic VN. Second, we propose a multi-modal logic able to support possibility theory. Some connexions between these formalisms are stressed.
Luis Fariñas del Cerro, Andreas Herzig
openaire +3 more sources
Journal of Philosophical Logic, 2005
Labelled sequent calculi, which internalize Kripke semantics into inference systems, are introduced for many normal modal logics such as K, T, K4, KB, S4, TB, S5 and GL. The calculi are cut-free and contraction-free and the validity of structural properties, invertibility of rules, admissibility of substitution, contraction and cut are proved ...
openaire +2 more sources
Labelled sequent calculi, which internalize Kripke semantics into inference systems, are introduced for many normal modal logics such as K, T, K4, KB, S4, TB, S5 and GL. The calculi are cut-free and contraction-free and the validity of structural properties, invertibility of rules, admissibility of substitution, contraction and cut are proved ...
openaire +2 more sources
A modal analysis of modal subordination
2019In this paper I will give a modal two-dimensional analysis of presupposition and modal subordination. I will think of presupposition as a non-veridical propositional attitude. This allows me to evaluate what is presupposed and what is asserted at different dimensions without getting into the binding problem.
openaire +1 more source
, 2001