scientific article; zbMATH DE number 732978

MaRDI QIDQ4325547zbMATH OpenFDO

Authors Harold Simmons

Publication date 12 March 1995

zbMATH Keywords

labelled transition structurespropositional modal logicsemantics

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Modal logic (including the logic of norms) (03B45)

Recommendations

• scientific article; zbMATH DE number 5285451
• First-order modal logic
• First-order modal logic
• Modal Logics Between Propositional and First-order
• A first approach to abstract modal logics
• First-order classical modal logic
• scientific article; zbMATH DE number 1489626
• scientific article; zbMATH DE number 755666
• scientific article; zbMATH DE number 1852919
• Basic modal logic

Cited in

(38)

• Metatheory of actions: beyond consistency
• Diagram techniques for confluence
• Propositional lax logic
• Characterizing determinacy in Kleene algebras
• Expressiveness of concept expressions in first-order description logics
• Characterizing right inverses for spatial constraint systems with applications to modal logic
• Guarded fixed point logics and the monadic theory of countable trees.
• The geometry of standard deontic logic
• Constrained consequence
• Coalgebra and abstraction
• Reasoning about distributed information with infinitely many agents
• The Došen square under construction: a tale of four modalities
• One-step modal logics, intuitionistic and classical. II
• Neighborhood semantics for modal logic
• Geographic wayfinders and space-time algebra
• SLAP: specification logic of actions with probability
• Bisimulation for labelled Markov processes
• Modal logic
• Deriving inverse operators for modal logic
• Belief, knowledge, lies and other utterances in an algebra for space and extrusion
• Modal logic. An introduction to its syntax and semantics
• scientific article; zbMATH DE number 4041866 (Why is no real title available?)
• scientific article; zbMATH DE number 1735869 (Why is no real title available?)
• scientific article; zbMATH DE number 1028830 (Why is no real title available?)
• scientific article; zbMATH DE number 1489626 (Why is no real title available?)
• scientific article; zbMATH DE number 1489632 (Why is no real title available?)
• Logic script 2. Introduction to modal logic
• On the expressiveness of spatial constraint systems
• Codimension and pseudometric in co-Heyting algebras
• From modal logic to terminal coalgebras
• Mechanising Gödel-Löb provability logic in HOL light
• Some uses of modal semirings
• A modal logic analysis of the MUTEX variable coverage theorem
• Quantification in nonclassical logic. Volume I.
• A categorical outlook on relational modalities and simulations
• Proof analysis in modal logic
• Kleene under a modal demonic star
• Normal design algebra

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 Q4325547)