Amanote Research

Amanote Research

    RegisterSign In

Bisimulations, Games, and Logic

BRICS Report Series
doi 10.7146/brics.v1i6.21664
Full Text
Open PDF
Abstract

Available in full text

Date

April 3, 1994

Authors
Mogens NielsenChristian Clausen
Publisher

Aarhus University Library


Related search

Bisimulations, Games and Logic

DAIMI Report Series
1994English

Logic in Games

2014English

Modelling Simultaneous Games in Dynamic Logic

Synthese
PhilosophySocial Sciences
2008English

Implementation of A* Algorithm for Solving Sokoban Logic Games

Journal of Applied Intelligent System
2020English

Bisimulations for Fuzzy-Transition Systems

IEEE Transactions on Fuzzy Systems
ControlSystems EngineeringApplied MathematicsMathematicsComputational TheoryArtificial Intelligence
2011English

An Asymmetric Protocol for Argumentation Games in Defeasible Logic

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

Hybrid Systems With Finite Bisimulations

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1999English

Finite Bisimulations of Controllable Linear Systems

English

Epistemic Games in Modal Logic: Joint Actions, Knowledge and Preferences All Together

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy