- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Indiscrete Models: Model Building and Model Checking over Linear Time
In Kamal Lodaya, Logic and Its Applications. Springer. pp. 50--68 (2013)
Abstract
This article has no associated abstract. (fix it)Author's Profile
Other Versions
No versions found
My notes
Similar books and articles
Checking EMTLK Properties of Timed Interpreted Systems Via Bounded Model Checking.Bożena Woźna-Szcześniak & Andrzej Zbrzezny - 2016 - Studia Logica 104 (4):641-678.
Model Checking and Satisfiability for Sabotage Modal Logic.Johan van Benthem & Fenrong Liu - 2026 - In Johan van Benthem & Fenrong Liu, Graph Games and Logic Design: Recent Developments and Further Directions. Cham: Springer Nature Switzerland. pp. 17-29.
Reachability logic: an efficient fragment of transitive closure logic.N. Alechina & N. Immerman - 2000 - Logic Journal of the IGPL 8 (3):325-337.
A decidable timeout-based extension of linear temporal logic.Janardan Misra & Suman Roy - 2014 - Journal of Applied Non-Classical Logics 24 (3):262-291.
Model checking techniqes for the analysis of reactive systems.Stephan Merz - 2002 - Synthese 133 (1):173 - 201.
The Neutrosophic Time Series-Study Its Models (Linear Logarithmic) and test the Coefficients Significance of Its linear model.A. A. Salama & Rafif Alhabib - 2020 - Neutrosophic Sets and Systems 33:105-115.
Spatio-temporal Model Checking with VoxLogicA.Laura Bussi, Vincenzo Ciancia, Fabio Gadducci & Mieke Massink - forthcoming - Journal of Logic, Language and Information:1-26.
Model theory for tense logic: Saturated and special models with applications to the tense hierarchy.Hirokazu Nishimura - 1981 - Studia Logica 40 (2):89 - 98.
Continuous-Time Grey Endogenous Models.Naiming Xie & Baolei Wei - 2024 - In Naiming Xie & Baolei Wei, Grey Forecasting: Mechanism, Models and Applications. Singapore: Springer Nature Singapore. pp. 43-67.
The Logic of Time Representation.Peter Bernard Ladkin - 1987 - Dissertation, University of California, Berkeley
Analytics
Added to PP
2014-01-28
Downloads
46 (#1,255,396)
6 months
9 (#1,250,161)
2014-01-28
Downloads
46 (#1,255,396)
6 months
9 (#1,250,161)
Historical graph of downloads
Author's Profile
Try MATCHA Writer if you're interested in citing directly from PhilPapers and certifying your authorship.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation