A Judgmental Reconstruction of Modal Logic

A Judgmental Reconstruction of Modal Logic (1999)

by Frank Pfenning , Rowan Davies

Venue:	Mathematical Structures in Computer Science
Citations:	143 - 37 self

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	A Judgmental Reconstruction of Modal Logic	user correction - Legacy Corrections
AUTHOR NAME	Frank Pfenning	SVM HeaderParse 0.1
AUTHOR AFFIL	Department of Computer Science; Carnegie Mellon University	SVM HeaderParse 0.2
AUTHOR NAME	Rowan Davies	SVM HeaderParse 0.1
AUTHOR AFFIL	Department of Computer Science; Carnegie Mellon University	SVM HeaderParse 0.2
ABSTRACT	this paper we reconsider the foundations of modal logic, following MartinL of's methodology of distinguishing judgments from propositions [ML85]. We give constructive meaning explanations for necessity (2) and possibility (3). This exercise yields a simple and uniform system of natural deduction for intuitionistic modal logic which does not exhibit anomalies found in other proposals. We also give a new presentation of lax logic [FM97] and find that it is already contained in modal logic, using the decomposition of the lax modality fl A as	user correction - Legacy Corrections
YEAR	1999	INFERENCE
VENUE	Mathematical Structures in Computer Science	INFERENCE
VENUE TYPE	CONFERENCE	INFERENCE
PAGES	2001	INFERENCE
VOLUME	11	INFERENCE
CITATIONS	29 found	ParsCit 1.0