Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Grigori Mints

Dynamic Topological Logic

Annals of Pure and Applied Logic
Logic
2005English

Related publications

Adiabatic Dynamic Logic

IEEE Journal of Solid-State Circuits
Electronic EngineeringElectrical
1995English

Dynamic Epistemic Logic Displayed

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

First-Order Dynamic Logic

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1979English

Dynamic Game Logic of Communication

Transactions of the Institute of Systems, Control and Information Engineers
2019English

Axiomatic Systems and Topological Semantics for Intuitionistic Temporal Logic

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

Novel Logic Circuits Dynamic Parameters Analysis

2016English

Locally Clocked Pipelines and Dynamic Logic

IEEE Transactions on Very Large Scale Integration (VLSI) Systems
HardwareElectronic EngineeringElectricalArchitectureSoftware
2002English

Agreement Theorems in Dynamic-Epistemic Logic

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

Modelling Simultaneous Games in Dynamic Logic

Synthese
PhilosophySocial Sciences
2008English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy