scientific article; zbMATH DE number 6744391

DOI10.23638/LMCS-13(2:14)2017zbMath1448.03013arXiv1704.08637MaRDI QIDQ5278080

Sebastian Enqvist, Fatemeh Seifan, Yde Venema

Publication date: 13 July 2017

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

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

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Automata and formal grammars in connection with logical questions (03D05) Categorical logic, topoi (03G30) Higher-order logic (03B16)

Related Items (2)

Completeness for the modal \(\mu\)-calculus: separating the combinatorics from the dynamics ⋮ A propositional dynamic logic for instantial neighborhood semantics

This page was built for publication: