scientific article; zbMATH DE number 6215728

zbMATH Open1284.03155MaRDI QIDQ2853718FDOQ2853718

Authors: Johan van Benthem 

Publication date: 16 October 2013

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

Recommendations

• Guard Reasoning in the Refined Operational Semantics of CHR
• Introduction to Guarded Logics
• The complexity of boundedness for guarded logics
• Semiring Provenance for Guarded Logics
• Guarded quantification in least fixed point logic
• Guards, bounds, and generalized semantics
• On the Relationship Between Concurrent Separation Logic and Assume-Guarantee Reasoning
• scientific article; zbMATH DE number 1341606
• Towards CERes in intuitionistic logic
• Finite satisfiability for guarded fixpoint logic

Mathematics Subject Classification ID

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

Cited In (3)

• First order logic without equality on relativized semantics
• A brief history of Tarskian algebraic logic with new perspectives and innovations
• Title not available (Why is that?)

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