Sage Journals: Discover world-class research

Retricted access

Research article

First published 2014-11

Quantitative Analysis of Lattice-valued Kripke Structures

Haiyu Pan, Min Zhang, Hengyang Wu [...]

Fundamenta Informaticae

Retricted access

Research article

First published 2005-2

Kripke modelling of multiple robots with decentralized cooperation specified with temporal logic

S Jeyaraman, A Tsourdos, R Zbikowski [...]

Proceedings of the Institution of Mechanical Engineers,Part I: Journal of Systems and Control Engineering

Retricted access

Research article

First published 1995-12

A NEW INCOMPLETENESS RESULT IN KRIPKE SEMANTICS

Olivier Gasquet

Fundamenta Informaticae

Retricted access

Research article

First published 2014-9

Parameter Synthesis for Timed Kripke Structures

Michał Knapik, Wojciech Penczek

Fundamenta Informaticae

Retricted access

Review article

First published 1989-1

A Commentary on the Reflections of Homer Kripke

John C. Burton

Journal of Accounting,Auditing & Finance

Retricted access

Research article

First published 2004-08

Rule-Scepticism and the Sociology of Scientific Knowledge

Martin Kusch

Social Studies of Science

Retricted access

Research article

First published 2014-7

Naturalism and the Friends of Understanding

Kevin M. Cahill

Philosophy of the Social Sciences

Retricted access

Research article

First published 2019-02-16

Multi-valued bisimulation quotienting algorithms 1

Deng Hui, Li Zhi

Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology

Open access

Research article

First published 2012-9-1

Modal and temporal argumentation networks †

H. Barringer, D.M. Gabbay, J. Woods

Argument & Computation

Retricted access

Letter

First published 2020-06

Response to Kripke-Ludwig re: “Including Speaking and Nonspeaking Autistic Voice in Research”

Chandra Lebenhagen

Autism in Adulthood

Search results