Search results

Articles (7)

Journals (0)

1-7 of 7 results for temporal,modal,and dynamic logics

Sort by:

Relevance

Select all

Sort by:

Relevance

Free access

Research article

First published 2004-8

Decision Procedure for Temporal Logic of Belief and Actions

Regimantas Pliuškevičius, Aida Pliuškevičienė

Informatica: An International Journal of Computing and Informatics

Retricted access

Research article

First published 1996-4

ON NATURAL DEDUCTION IN FIRST-ORDER FIXPOINT LOGICS

Andrzej Szalas

Fundamenta Informaticae

Retricted access

Research article

First published 2002-11

Automata-Theoretic Decision Procedures for Information Logics

Stéphane Demri, Ulrike Sattler

Fundamenta Informaticae

Retricted access

Research article

First published 2018-2

Modal articulation: The psychological and semiotic functions of modalities in the sensemaking process

Raffaele De Luca Picione, Maria Luisa Martino, Maria Francesca Freda

Theory & Psychology

Open access

Research article

First published 2025-3

Moldy homes: Toxicity,race,and the geographies of domestic mold

Elara Shurety

Progress in Environmental Geography

Retricted access

Research article

First published 1997-03

Model-Independent Vibration Control of Flexible Beam-Like Structures Using a Fuzzy Based Adaptation Strategy

K. Cohen, T. Weller, J. Levitas [...]

Journal of Intelligent Material Systems and Structures

Retricted access

Research article

First published 2017

SMC4AC: A New Symbolic Model Checker for Intelligent Agent Communication

Warda El Kholy, Jamal Bentahar, Mohamed El Menshawy [...]

Fundamenta Informaticae