scientific article; zbMATH DE number 6215728

MaRDI QIDQ2853718zbMATH OpenFDO

Authors Johan van Benthem

Publication date 16 October 2013

Mathematics Subject Classification ID

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

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

Cited in

(4)

• First order logic without equality on relativized semantics
• A brief history of Tarskian algebraic logic with new perspectives and innovations
• scientific article; zbMATH DE number 1385333 (Why is no real title available?)
• A version of predicate logic with two variables that has an incompleteness property

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)