scientific article; zbMATH DE number 3797730
From MaRDI portal
Publication:4742767
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?)
invariancetemporal operatorspropositional modal logiceventualityautomatic theorem-provingtermination of programsmodal formulas
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)
Uses Software
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)