Logical connectives for two-state semantics

DOI10.1080/11663081.2023.2244362MaRDI QIDQ6080576

Luis Fariñas del Cerro, Marta Cialdea Mayer

Publication date: 30 October 2023

Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)

zbMATH Keywords

equilibrium logicbi-state logiclogic of `here-and-there'

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

• Unnamed Item
• Unnamed Item
• Bi-state Logic
• Contingency-Based Equilibrium Logic
• Two-Valued Logic Programs

This page was built for publication: Logical connectives for two-state semantics