scientific article; zbMATH DE number 1348464
From MaRDI portal
Publication:4264717
zbMath0925.03100MaRDI QIDQ4264717
No author found.
Publication date: 7 October 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Mechanization of proofs and logical operations (03B35)
Related Items (9)
Modeling data-intensive reactive systems with relational transition systems ⋮ MetateM: An introduction ⋮ Programming in metric temporal logic ⋮ A resolution-based proof method for temporal logics of knowledge and belief ⋮ Search strategies for resolution in temporal logics ⋮ Removing irrelevant information in temporal resolution proofs ⋮ Similarity saturation for first order linear temporal logic with UNLESS ⋮ Infinitary calculus for a restricted first-order linear temporal logic without contraction on quantified formulas ⋮ Replacement of Induction by Similarity Saturation in a First Order Linear Temporal Logic
This page was built for publication:
