Alex Simpson. The Proof Theory and Semantics of Intuitionistic Modal Logic. PhD thesis, University of Edinburgh, 1994. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Possible Worlds and Resources: The Semantics of BI - Pym, O'Hearn, Yang (2002) (6 citations) (Correct)
....(Of course, the use of simple ordering is itself a simplified treatment of the more general relational notion of modality. It is possible to take intuitionistic additives, but since they must exploit the ordering v for their definition, we must impose, using the techniques discussed in [49], additional relational structure to give meaning to the modalities. 14 4.1 Petri Nets Petri nets provide a basic, concrete, model of computation, which fits well with the resource interpretation of BI s semantics. A central tenet of net theory is that resource is distributed throughout a net, ....
Alex Simpson. The Proof Theory and Semantics of Intuitionistic Modal Logic. Ph.D. thesis, University of Edinburgh, 1994.
Possible Worlds and Resources: The Semantics of BI - Pym, O'Hearn, Yang (2002) (6 citations) (Correct)
....i.e. with classical additives, so that we may use the ordering, v, in a preordered monoid to interpret the temporal modalities. It is possible to take intuitionistic additives, but since they must exploit the ordering v for their definition, we must impose, using the techniques discussed in [49], additional relational structure to give meaning to the modalities. Of course, the use of simple ordering is itself a simplified treatment of the more general relational notion of modality. 14 . A temporal polymodal necessity: m j P j= t] iff for every Q, if (m; P ) at m, then m j Q j= ....
....for the data. Formally, if the resources form a preordered commutative monoid M = M; e; v) and if P denotes the class of processes, then an evolution is map t : M P M P . We will not examine the internal structure of evolutions here: to do so would require methods, such as those described in [49], of kind used to define models and proof systems for intuitionistic modal logics. A spatial polymodal necessity: m j P j= t] new iff for every n and Q, if (m; P ) evolution located at n, then m n j Q j= A spatial polymodal possibility: m j P j= hti new iff for some n and Q, if ....
Alex Simpson. The Proof Theory and Semantics of Intuitionistic Modal Logic. Ph.D. thesis, University of Edinburgh, 1994.
Algorithmic Deduction based on Labelled Tableaux Project.. - Broda, Gabbay (Correct)
.... of non modal formulae, such as a conditional formula, 4 by a given piece of information x also depends on what is or is not verified elsewhere in the structure (as with the intuitionistic conditional) Previous work on this topic had been concentrating on intuitionistic modal logics (see [30] for an overview) In [13] we started developing a more general approach which fits naturally into the framework for substructural logics presented in [12] 3.2 A First Order Approach A different approach is taken in [28] in which the labels represent the possible worlds of the traditional ....
Alex K. Sympson. The Proof Theory and Semantics of Intuitionistic Modal Logic. PhD thesis, University of Edinburgh, 1993.
Information Frames, Implication Systems and Modalities - D'Agostino, Gabbay, Russo (1996) (Correct)
....is left open and depends on the underlying propositional logic. Classical Modal Logic can be construed as a limiting case which arises when such points are assumed to be maximally consistent pieces of information. Previous work on this topic has been concentrating on intuitionistic modal logics ([Ser77, BD84, PS86, AP93, Sym93]) Here we start to develop a more general approach which ts naturally into the framework for substructural logics presented in [DG94] The latter consists of a labelled generalization of the classical refutation system KE [DM94] where the labels can be interpreted as pieces of information ....
Alex K. Sympson. The Proof Theory and Semantics of Intuitionistic Modal Logic. PhD thesis, University of Edinburgh, 1993.
Grafting Modalities onto substructural implication systems - D'Agostino, Gabbay, Russo (1996) (4 citations) (Correct)
....conditional) We shall not pursue any particular intuitive interpretation, because it may change from one logic to the other, and shall leave it to the reader to envisage his or her favourite application contexts. Previous work on this topic has been concentrating on intuitionistic modal logics ([FS77, BD84, PS86, AP93, Sym93]; see in particular [Sym93] for a comprehensive overview) Here we start developing a more general approach which fits naturally into the framework for substructural logics presented in [DG94] The latter consists of a labelled generalization of the classical refutation system KE [DM94] where the ....
....intuitive interpretation, because it may change from one logic to the other, and shall leave it to the reader to envisage his or her favourite application contexts. Previous work on this topic has been concentrating on intuitionistic modal logics ( FS77, BD84, PS86, AP93, Sym93] see in particular [Sym93] for a comprehensive overview) Here we start developing a more general approach which fits naturally into the framework for substructural logics presented in [DG94] The latter consists of a labelled generalization of the classical refutation system KE [DM94] where the labels can be ....
[Article contains additional citation context not shown here]
Alex K. Sympson. The Proof Theory and Semantics of Intuitionistic Modal Logic. PhD thesis, University of Edinburgh, 1993.
Manifest Security for Distributed Information - Crary, Harper, Pfenning (2006) (Correct)
No context found.
Alex Simpson. The Proof Theory and Semantics of Intuitionistic Modal Logic. PhD thesis, University of Edinburgh, 1994.
Distributed Control Flow - With Classical Modal (Correct)
No context found.
Alex Simpson. The Proof Theory and Semantics of Intuitionistic Modal Logic.PhD thesis, University of Edinburgh, 1994.
Manifest Security for Distributed Information - Crary, Harper, Pfenning.. (2006) (Correct)
No context found.
Alex Simpson. The Proof Theory and Semantics of Intuitionistic Modal Logic. PhD thesis, University of Edinburgh, 1994.
A Symmetric Modal Lambda Calculus for Distributed Computing - Tom Murphy Vii (2004) (3 citations) (Correct)
No context found.
Alex Simpson. The Proof Theory and Semantics of Intuitionistic Modal Logic. PhD thesis, University of Edinburgh, 1994.
A Symmetric Modal Lambda Calculus for Distributed Computing - Tom Murphy Vii (2005) (3 citations) (Correct)
No context found.
Alex Simpson. The Proof Theory and Semantics of Intuitionistic Modal Logic. PhD thesis, University of Edinburgh, 1994. 10
Distributed Control Flow - With Classical Modal (2005) (Correct)
No context found.
Alex Simpson. The Proof Theory and Semantics of Intuitionistic Modal Logic. PhD thesis, University of Edinburgh, 1994.
A Symmetric Modal Lambda Calculus for Distributed Computing - Tom Murphy Vii (2004) (3 citations) (Correct)
No context found.
Alex Simpson. The Proof Theory and Semantics of Intuitionistic Modal Logic. PhD thesis, University of Edinburgh, 1994.
Geometric Theories and Modal Logic in the Calculus of Structures - Hein (2005) (3 citations) (Correct)
No context found.
Alex Simpson. The Proof Theory and Semantics of Intuitionistic Modal Logic. PhD thesis, University of Edinburgh, 1993.
Purity through Unravelling - Hein, Stewart (2005) (2 citations) (Correct)
No context found.
Alex Simpson. The Proof Theory and Semantics of Intuitionistic Modal Logic. PhD thesis, University of Edinburgh, 1993.
Distributed Control Flow with Classical Modal Logic - Murphy VII, Crary, Harper (2005) (Correct)
No context found.
Alex Simpson. The Proof Theory and Semantics of Intuitionistic Modal Logic. PhD thesis, University of Edinburgh, 1994.
A Symmetric Modal Lambda Calculus for Distributed.. - Murphy VII.. (2004) (3 citations) (Correct)
No context found.
Alex Simpson. The Proof Theory and Semantics of Intuitionistic Modal Logic. PhD thesis, University of Edinburgh, 1994.
Distributed Control Flow with Classical Modal Logic - Murphy VII, Crary, Harper (2005) (Correct)
No context found.
Alex Simpson. The Proof Theory and Semantics of Intuitionistic Modal Logic. PhD thesis, University of Edinburgh, 1994.
A Symmetric Modal Lambda Calculus for Distributed.. - Murphy VII.. (2004) (3 citations) (Correct)
No context found.
Alex Simpson. The Proof Theory and Semantics of Intuitionistic Modal Logic. PhD thesis, University of Edinburgh, 1994.
A Symmetric Modal Lambda Calculus for Distributed Computing - VII, Crary, Harper, Pfenning (2004) (3 citations) (Correct)
No context found.
Alex Simpson. The Proof Theory and Semantics of Intuitionistic Modal Logic. PhD thesis, University of Edinburgh, 1994.
A Symmetric Modal Lambda Calculus for Distributed Computing - VII, Crary, Harper, Pfenning (2004) (3 citations) (Correct)
No context found.
Alex Simpson. The Proof Theory and Semantics of Intuitionistic Modal Logic. PhD thesis, University of Edinburgh, 1994.
A Symmetric Modal Lambda Calculus for Distributed.. - Murphy VII.. (2004) (3 citations) (Correct)
No context found.
Alex Simpson. The Proof Theory and Semantics of Intuitionistic Modal Logic. PhD thesis, University of Edinburgh, 1994.
A Symmetric Modal Lambda Calculus for Distributed Computing - VII, Crary, Harper, Pfenning (2004) (3 citations) (Correct)
No context found.
Alex Simpson. The Proof Theory and Semantics of Intuitionistic Modal Logic. PhD thesis, University of Edinburgh, 1994. 10
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC