Results 91 to 100 of about 20,953 (186)
Logics and admissible rules of constructive set theories. [PDF]
Philos Trans A Math Phys Eng Sci, 2023 Iemhoff R, Passmann R.
europepmc +1 more source
Constrained Kripke structure for identifying parameters of biological models
Theoretical Computer SciencezbMATH Open Web Interface contents unavailable due to conflicting licenses.
Jean-Paul Comet +2 more
openaire +1 more source
A Two Step Perspective for Kripke Structure Reduction
, 2012 Accepted for Student Research Forum, 39th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2013)
openaire +2 more sources
Ordinal analysis and the set existence property for intuitionistic set theories. [PDF]
Philos Trans A Math Phys Eng Sci, 2023 Rathjen M.
europepmc +1 more source
A partial evaluation methodology for optimizing rewrite theories incrementally. [PDF]
MethodsX, 2022 Alpuente M +4 more
europepmc +1 more source
A Logical Modeling of Severe Ignorance. [PDF]
J Philos Logic, 2023 Bonzio S +3 more
europepmc +1 more source
On Model Checking Durational Kripke Structures (Extended Abstract)
, 2002 We consider quantitative model checking in \emphdurational Kripke structures (Kripke structures where transitions have integer durations) with timed temporal logics where subscripts put quantitative constraints on the time it takes before a property is satisfied.
Laroussinie, François +2 more
openaire +1 more source
Model Checking Fuzzy Computation Tree Logic Based on Fuzzy Decision Processes with Cost. [PDF]
Entropy (Basel), 2022 Ma Z, Li Z, Li W, Gao Y, Li X.
europepmc +1 more source
Boolean full Kripke structures are alg-universal
, 2008 CMUC - Centro de Matemática da Universidade de Coimbra ...
openaire +1 more source