scientific article

zbMath1483.03016arXiv1707.08742MaRDI QIDQ3384064

Martin Otto, Ivano A. Ciardelli

Publication date: 14 December 2021

Full work available at URL: https://arxiv.org/abs/1707.08742

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

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

Related Items (5)

A FIRST-ORDER FRAMEWORK FOR INQUISITIVE MODAL LOGIC ⋮ Questions and dependency in intuitionistic logic ⋮ Bisimulation invariant monadic-second order logic in the finite ⋮ Unnamed Item ⋮ Bisimulation Invariant Monadic-Second Order Logic in the Finite

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Propositional logics of dependence
• Algebraic foundations for the semantic treatment of inquisitive content
• Inquisitive dynamic epistemic logic
• On the semantics and logic of declaratives and interrogatives
• Inquisitive logic
• Modal characterisation theorems over special classes of frames
• Modal logic over finite structures
• Questions as information types
• Modal and guarded characterisation theorems over finite transition systems
• Neighbourhood Structures: Bisimilarity and Basic Model Theory
• Dependency as Question Entailment
• Highly acyclic groups, hypergraph covers, and the guarded fragment

This page was built for publication: