Dynamic Cantor Derivative Logic (Q6137850)

From MaRDI portal

Jump to:navigation, search

scientific article; zbMATH DE number 7788998

Language	Label	Description	Also known as
English	Dynamic Cantor Derivative Logic	scientific article; zbMATH DE number 7788998

Statements

scholarly article

0 references

Dynamic Cantor Derivative Logic (English)

0 references

David Fernández-Duque

0 references

0 references

Logical Methods in Computer Science

0 references

publication date

16 January 2024

0 references

full work available at URL

https://arxiv.org/abs/2107.10349

0 references

MaRDI profile type

MaRDI publication profile

0 references

0 references

Data-Driven Science and Engineering

0 references

The Logic of Provability

0 references

Linear algebra algorithms as dynamical systems

0 references

Intuitionistic logic and modality via topology

0 references

A sound and complete axiomatization for Dynamic Topological Logic

0 references

Non-finite axiomatizability of dynamic topological logic

0 references

0 references

Spatial logic of tangled closure operators and modal mu-calculus

0 references

Analyzing Blockwise Lattice Algorithms Using Dynamical Systems

0 references

0 references

On dynamic topological and metric logics

0 references

Dynamic topological logic

0 references

Topological Modal Logics with Difference Modality

0 references

The algebra of topology

0 references

0 references

Topological aspects of suitable theories

0 references

Self-reference and modal logic

0 references

Identifiers

0 references

10.46298/lmcs-19(4:26)2023

0 references

Mathematics Subject Classification ID

0 references

0 references

zbMATH DE Number

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:6137850

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q6137850&oldid=37619894"