scientific article; zbMATH DE number 3797730

zbMATH Open0506.03004MaRDI QIDQ4742767FDOQ4742767

Authors: Luis Fariñas del Cerro 

Publication date: 1982

Full work available at URL: https://eudml.org/doc/92170

Title of this publication is not available (Why is that?)

zbMATH Keywords

invariancetemporal operatorspropositional modal logiceventualityautomatic theorem-provingtermination of programsmodal formulas

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Automata and formal grammars in connection with logical questions (03D05)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• First-order dynamic logic
• An axiomatic basis for computer programming
• A Machine-Oriented Logic Based on the Resolution Principle
• Title not available (Why is that?)
• Some theorems about the sentential calculi of Lewis and Heyting
• Modalities and Quantification
• Algorithmic properties of structures
• LAR: A logic of algorithmic reasoning
• Title not available (Why is that?)
• Tense logic
• Is “sometime” sometimes better than “always”?
• Title not available (Why is that?)
• Title not available (Why is that?)
• Properties of Programs and the First-Order Predicate Calculus
• Title not available (Why is that?)
• Lucid, a nonprocedural language with iteration
• Modalities in the Survey system of strict implication
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (1)

• 3-SAT = SAT for a class of normal modal logics

Uses Software

• Lucid

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4742767)