scientific article; zbMATH DE number 698626

zbMath0810.03014MaRDI QIDQ4314066

Lennart Åqvist

Publication date: 20 April 1995

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

semanticsaxiomatizationsyntaxdiscrete tense logic with beginning and ending time

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Related Items (2)

Remedial interchange, contrary-to-duty obligation and commutation ⋮ Combinations of tense and deontic modality: On the \(R_{t}\) approach to temporal logic with historical necessity and conditional obligation

This page was built for publication: