Bi-state Logic

DOI10.1007/978-3-642-30743-0_18zbMath1357.68033OpenAlexW138537645MaRDI QIDQ2900524

No author found.

Publication date: 23 July 2012

Published in: Correct Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-30743-0_18

Mathematics Subject Classification ID

Logic in computer science (03B70) Logic programming (68N17) Many-valued logic (03B50)

Related Items (1)

Logical connectives for two-state semantics

Cites Work

• On the logic of causal explanation
• Strongly equivalent logic programs

This page was built for publication: Bi-state Logic