Completeness of a functional system for surjective functions

DOI10.1002/malq.201600011zbMath1469.03046OpenAlexW2782402434MaRDI QIDQ5108132

I. Fortes, Alfredo Burrieza, Inma P. de Guzmán

Publication date: 29 April 2020

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.201600011

Mathematics Subject Classification ID

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

Cites Work

• A modal logic framework for reasoning about comparative distances and topology
• Non-deterministic semantics for dynamic topological logic
• Dynamic topological S5
• A finite axiomatization of the set of strongly valid Ockhamist formulas
• A decidable temporal logic of parallelism
• A functional approach for temporal \(\times\) modal logics
• Line-based affine reasoning in Euclidean plane
• The algebra of topology
• Temporal Logics of Knowledge and their Applications in Security
• Analyzing completeness of axiomatic functional systems for temporal × modal logics
• Topological Semantics of Justification Logic
• Handbook of Spatial Logics
• TOPOLOGY AND MODALITY: THE TOPOLOGICAL INTERPRETATION OF FIRST-ORDER MODAL LOGIC
• Time, clocks, and the ordering of events in a distributed system
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Completeness of a functional system for surjective functions