A constructive approach to state description semantics

DOI10.1016/S1570-8683(03)00003-XzbMath1032.03004MaRDI QIDQ1414570

Ruurik Holm

Publication date: 4 December 2003

Published in: Journal of Applied Logic (Search for Journal in Brave)

zbMATH Keywords

CarnapModal logicMartin-LöfChoice sequencesConstructive logicPossible worldsQuantification

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Philosophical and critical aspects of logic and foundations (03A05) Second- and higher-order arithmetic and fragments (03F35) Metamathematics of constructive systems (03F50)

Related Items (1)

Information, possible worlds and the cooptation of scepticism

Uses Software

• ALF

Cites Work

• On the primary and secondary semantics of logical necessity
• Constructive mathematics and computer programming
• Intuitionistic categorial grammar
• The continuum and first-order intuitionistic logic
• Modalities and Quantification
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A constructive approach to state description semantics