Dynamic Topological Logic

Annals of Pure and Applied Logic - Netherlands
doi 10.1016/j.apal.2004.06.004
Full Text
Abstract

Available in full text

Categories
Logic
Date
Authors
Publisher

Elsevier BV

Related search

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