Modular non-deterministic semantics for T, TB, S4, S5 and more

DOI10.1093/LOGCOM/EXAB079MaRDI QIDQ5028307zbMATH OpenOpenAlexFDO

Authors Pawel Pawlowski, Elio La Rosa

Publication date 8 February 2022

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/logcom/exab079

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

Recommendations

• Modular rewriting semantics in practice
• A hierarchy of semantics for non-deterministic term rewriting systems
• scientific article; zbMATH DE number 1223717
• scientific article; zbMATH DE number 1231580
• Modularity in noncopying term rewriting
• scientific article; zbMATH DE number 5316608
• scientific article; zbMATH DE number 2196614
• Finite non-deterministic semantics for some modal systems
• scientific article; zbMATH DE number 1231677
• Modular semantics for transition system specifications with negative premises

Cited in

(4)

• Effective semantics for the modal logics K and KT via non-deterministic matrices
• A denotational semantics for SPARC TSO
• Modal Logic With Non-Deterministic Semantics: Part II—Quantified Case
• Tableau systems for some Ivlev-like (quantified) modal logics

This page was built for publication: Modular non-deterministic semantics for T, TB, S4, S5 and more

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