On intuitionistic modal and tense logics and their classical companion logics: topological semantics and bisimulations (Q636275): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.apal.2009.07.009
+Normal rank
@@ Property / OpenAlex ID @@
+W2107457797
@@ Property / OpenAlex ID: W2107457797 / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning About Space: The Modal Way
@@ Property / cites work: Reasoning About Space: The Modal Way / rank @@
+Normal rank
@@ Property / cites work @@
+Q3135846
@@ Property / cites work: Q3135846 / rank @@
+Normal rank
@@ Property / cites work @@
+Set-valued analysis
@@ Property / cites work: Set-valued analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Impulse differential inclusions: a viability approach to hybrid systems
+Normal rank
@@ Property / cites work @@
+Varieties of monadic Heyting algebras. II: Duality theory
+Normal rank
@@ Property / cites work @@
+Q2744124
@@ Property / cites work: Q2744124 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4490763
@@ Property / cites work: Q4490763 / rank @@
+Normal rank
@@ Property / cites work @@
+MIPC as the formalisation of an intuitionist concept of modality
+Normal rank
@@ Property / cites work @@
+Q4551606
@@ Property / cites work: Q4551606 / rank @@
+Normal rank
@@ Property / cites work @@
+Topologies, Continuity and Bisimulations
@@ Property / cites work: Topologies, Continuity and Bisimulations / rank @@
+Normal rank
@@ Property / cites work @@
+Hybrid Systems: Computation and Control
@@ Property / cites work: Hybrid Systems: Computation and Control / rank @@
+Normal rank
@@ Property / cites work @@
+Q4430395
@@ Property / cites work: Q4430395 / rank @@
+Normal rank
@@ Property / cites work @@
+On Simulations and Bisimulations of General Flow Systems
+Normal rank
@@ Property / cites work @@
+Q4049062
@@ Property / cites work: Q4049062 / rank @@
+Normal rank
@@ Property / cites work @@
+Intuitionistic tense and modal logic
@@ Property / cites work: Intuitionistic tense and modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+On modal logic with an intuitionistic base
@@ Property / cites work: On modal logic with an intuitionistic base / rank @@
+Normal rank
@@ Property / cites work @@
+Q3866079
@@ Property / cites work: Q3866079 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3720564
@@ Property / cites work: Q3720564 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5582318
@@ Property / cites work: Q5582318 / rank @@
+Normal rank
@@ Property / cites work @@
+Many-dimensional modal logics: theory and applications
+Normal rank
@@ Property / cites work @@
+Q4215613
@@ Property / cites work: Q4215613 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic laws for nondeterminism and concurrency
@@ Property / cites work: Algebraic laws for nondeterminism and concurrency / rank @@
+Normal rank
@@ Property / cites work @@
+Topological duality for intuitionistic modal algebras
+Normal rank
@@ Property / cites work @@
+Q5541833
@@ Property / cites work: Q5541833 / rank @@
+Normal rank
@@ Property / cites work @@
+The algebra of topology
@@ Property / cites work: The algebra of topology / rank @@
+Normal rank
@@ Property / cites work @@
+Q2703802
@@ Property / cites work: Q2703802 / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation and propositional intuitionistic logic
+Normal rank
@@ Property / cites work @@
+Q3246315
@@ Property / cites work: Q3246315 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5734410
@@ Property / cites work: Q5734410 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4023900
@@ Property / cites work: Q4023900 / rank @@
+Normal rank
@@ Property / cites work @@
+An algebraic approach to intuitionistic modal logics in connection with intermediate predicate logics
+Normal rank
@@ Property / cites work @@
+Constructive modal logics. I
@@ Property / cites work: Constructive modal logics. I / rank @@
+Normal rank
@@ Property / cites work @@
+Q4942002
@@ Property / cites work: Q4942002 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4250043
@@ Property / cites work: Q4250043 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:636275