Journal articles on the topic 'Modal logics; Temporal logic'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 50 journal articles for your research on the topic 'Modal logics; Temporal logic.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Browse journal articles on a wide variety of disciplines and organise your bibliography correctly.
Long, Derek. "A review of temporal logics." Knowledge Engineering Review 4, no. 2 (1989): 141–62. http://dx.doi.org/10.1017/s0269888900004896.
Full textNISSAN, EPHRAIM. "Special Issue: Temporal Logic in Engineering." Artificial Intelligence for Engineering Design, Analysis and Manufacturing 13, no. 2 (1999): 65. http://dx.doi.org/10.1017/s0890060499132013.
Full textDemri, Stéphane, and Raul Fervari. "The power of modal separation logics." Journal of Logic and Computation 29, no. 8 (2019): 1139–84. http://dx.doi.org/10.1093/logcom/exz019.
Full textМаркин, В. И. "What trends in non-classical logic were anticipated by Nikolai Vasiliev?" Logical Investigations 19 (April 9, 2013): 122–35. http://dx.doi.org/10.21146/2074-1472-2013-19-0-122-135.
Full textBaltag, Alexandru, and Johan van Benthem. "A Simple Logic of Functional Dependence." Journal of Philosophical Logic 50, no. 5 (2021): 939–1005. http://dx.doi.org/10.1007/s10992-020-09588-z.
Full textKamide, Norihiro. "Logical foundations of hierarchical model checking." Data Technologies and Applications 52, no. 4 (2018): 539–63. http://dx.doi.org/10.1108/dta-01-2018-0002.
Full textHUET, GÉRARD. "Special issue on ‘Logical frameworks and metalanguages’." Journal of Functional Programming 13, no. 2 (2003): 257–60. http://dx.doi.org/10.1017/s0956796802004549.
Full textKuzmin, Egor V. "LTL-Specification of Counter Machines." Modeling and Analysis of Information Systems 28, no. 1 (2021): 104–19. http://dx.doi.org/10.18255/1818-1015-2021-1-104-119.
Full textPENCZEK, WOJCIECH. "TEMPORAL LOGICS FOR TRACE SYSTEMS: ON AUTOMATED VERIFICATION." International Journal of Foundations of Computer Science 04, no. 01 (1993): 31–67. http://dx.doi.org/10.1142/s0129054193000043.
Full textGnatenko, Anton Romanovich, and Vladimir Anatolyevich Zakharov. "On the Model Checking Problem for Some Extension of CTL*." Modeling and Analysis of Information Systems 27, no. 4 (2020): 428–41. http://dx.doi.org/10.18255/1818-1015-2020-4-428-441.
Full textНепейвода, Н. Н. "Formalization as the Immanent Part of Logical Solving." Logical Investigations 24, no. 1 (2018): 129–45. http://dx.doi.org/10.21146/2074-1472-2018-24-1-129-145.
Full textBurrieza, Alfredo, Inmaculada P. de Guzmán, and Emilio Muñoz-Velasco. "Analyzing completeness of axiomatic functional systems for temporal × modal logics." MLQ 56, no. 1 (2010): 89–102. http://dx.doi.org/10.1002/malq.200810038.
Full textGarcez, Artur S. d'Avila, and Luís C. Lamb. "A Connectionist Computational Model for Epistemic and Temporal Reasoning." Neural Computation 18, no. 7 (2006): 1711–38. http://dx.doi.org/10.1162/neco.2006.18.7.1711.
Full textÁlvarez Domínguez, Daniel. "Hybrid Logic as extension of Modal and Temporal Logic." Revista de Humanidades de Valparaíso, no. 13 (August 18, 2019): 34. http://dx.doi.org/10.22370/rhv2019iss13pp34-67.
Full textBALTAZAR, P., R. CHADHA, and P. MATEUS. "QUANTUM COMPUTATION TREE LOGIC — MODEL CHECKING AND COMPLETE CALCULUS." International Journal of Quantum Information 06, no. 02 (2008): 219–36. http://dx.doi.org/10.1142/s0219749908003530.
Full textOrgun, Mehmet A. "Temporal and modal logic programming." ACM SIGART Bulletin 5, no. 3 (1994): 52–59. http://dx.doi.org/10.1145/181911.181920.
Full textSciavicco, Guido. "Reasoning with Time Intervals: A Logical and Computational Perspective." ISRN Artificial Intelligence 2012 (October 14, 2012): 1–19. http://dx.doi.org/10.5402/2012/616087.
Full textKamide, Norihiro, and Daiki Koizumi. "Method for Combining Paraconsistency and Probability in Temporal Reasoning." Journal of Advanced Computational Intelligence and Intelligent Informatics 20, no. 5 (2016): 813–27. http://dx.doi.org/10.20965/jaciii.2016.p0813.
Full textPhillips, John F. "A Note on the Modal and Temporal Logics for N-Dimensional Spacetime." Notre Dame Journal of Formal Logic 39, no. 4 (1998): 545–53. http://dx.doi.org/10.1305/ndjfl/1039118869.
Full textGORLIN, ANDREY, C. R. RAMAKRISHNAN, and SCOTT A. SMOLKA. "Model checking with probabilistic tabled logic programming." Theory and Practice of Logic Programming 12, no. 4-5 (2012): 681–700. http://dx.doi.org/10.1017/s1471068412000245.
Full textDEMRI, STÉPHANE, and DAVID NOWAK. "REASONING ABOUT TRANSFINITE SEQUENCES." International Journal of Foundations of Computer Science 18, no. 01 (2007): 87–112. http://dx.doi.org/10.1142/s0129054107004589.
Full textCleaveland, Rance, S. Purushothaman Iyer, and Murali Narasimha. "Probabilistic temporal logics via the modal mu-calculus." Theoretical Computer Science 342, no. 2-3 (2005): 316–50. http://dx.doi.org/10.1016/j.tcs.2005.03.048.
Full textBurrieza, Alfredo, and Inma P. de Guzm�n. "A functional approach for temporal $\times$ modal logics." Acta Informatica 39, no. 2 (2003): 71–96. http://dx.doi.org/10.1007/s00236-002-0098-z.
Full textLin, Hai. "Mission Accomplished: An Introduction to Formal Methods in Mobile Robot Motion Planning and Control." Unmanned Systems 02, no. 02 (2014): 201–16. http://dx.doi.org/10.1142/s2301385014300029.
Full textMarsden, Alan. "Timing in music and modal temporal logic." Journal of Mathematics and Music 1, no. 3 (2007): 173–89. http://dx.doi.org/10.1080/17459730701666887.
Full textLeasure, David E. "TEMPORAL REASONING WITH THE MODAL LOGIC Z." Computational Intelligence 12, no. 3 (1996): 407–22. http://dx.doi.org/10.1111/j.1467-8640.1996.tb00269.x.
Full textAlechina, Natasha, Stéphane Demri, and Brian Logan. "Parameterised Resource-Bounded ATL." Proceedings of the AAAI Conference on Artificial Intelligence 34, no. 05 (2020): 7040–46. http://dx.doi.org/10.1609/aaai.v34i05.6189.
Full textGiero, Mariusz. "Propositional Linear Temporal Logic with Initial Validity Semantics." Formalized Mathematics 23, no. 4 (2015): 379–86. http://dx.doi.org/10.1515/forma-2015-0030.
Full textBERNARDO, MARCO, and STEFANIA BOTTA. "A survey of modal logics characterising behavioural equivalences for non-deterministic and stochastic systems." Mathematical Structures in Computer Science 18, no. 1 (2008): 29–55. http://dx.doi.org/10.1017/s0960129507006408.
Full textHartonas, Chrysafis. "Modal and temporal extensions of non-distributive propositional logics." Logic Journal of IGPL 24, no. 2 (2015): 156–85. http://dx.doi.org/10.1093/jigpal/jzv051.
Full textUckelman, Sara L., and Joel Uckelman. "Modal and temporal logics for abstract space–time structures." Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 38, no. 3 (2007): 673–81. http://dx.doi.org/10.1016/j.shpsb.2007.01.004.
Full textGorogiannis, Nikos, and Mark Ryan. "Minimal refinements of specifications in modal and temporal logics." Formal Aspects of Computing 19, no. 2 (2007): 273. http://dx.doi.org/10.1007/s00165-007-0038-3.
Full textGorogiannis, Nikos, and Mark Ryan. "Minimal refinements of specifications in modal and temporal logics." Formal Aspects of Computing 19, no. 4 (2007): 417–44. http://dx.doi.org/10.1007/s00165-007-0040-9.
Full textBAIER, C., E. M. HAHN, B. R. HAVERKORT, H. HERMANNS, and J. P. KATOEN. "Model checking for performability." Mathematical Structures in Computer Science 23, no. 4 (2013): 751–95. http://dx.doi.org/10.1017/s0960129512000254.
Full textCABALAR, PEDRO, MARTÍN DIÉGUEZ, and CONCEPCIÓN VIDAL. "An infinitary encoding of temporal equilibrium logic." Theory and Practice of Logic Programming 15, no. 4-5 (2015): 666–80. http://dx.doi.org/10.1017/s1471068415000307.
Full textWilliamson, Timothy. "Modal science." Canadian Journal of Philosophy 46, no. 4-5 (2016): 453–92. http://dx.doi.org/10.1080/00455091.2016.1205851.
Full textAGUADO, FELICIDAD, PEDRO CABALAR, GILBERTO PÉREZ, CONCEPCIÓN VIDAL, and MARTÍN DIÉGUEZ. "Temporal logic programs with variables." Theory and Practice of Logic Programming 17, no. 2 (2016): 226–43. http://dx.doi.org/10.1017/s1471068416000570.
Full textMardaev, Sergey. "Definable fixed points in modal and temporal logics : A survey." Journal of Applied Non-Classical Logics 17, no. 3 (2007): 317–46. http://dx.doi.org/10.3166/jancl.17.317-346.
Full textGnatenko, Anton, and Vladimir Zakharov. "On the Expressive Power of Some Extensions of Linear Temporal Logic." Modeling and Analysis of Information Systems 25, no. 5 (2018): 506–24. http://dx.doi.org/10.18255/1818-1015-2018-5-506-524.
Full textLee, J., and R. Palla. "Reformulating the Situation Calculus and the Event Calculus in the General Theory of Stable Models and in Answer Set Programming." Journal of Artificial Intelligence Research 43 (April 24, 2012): 571–620. http://dx.doi.org/10.1613/jair.3489.
Full textHeinemann, Bernhard. "Temporal aspects of the modal logic of subset spaces." Theoretical Computer Science 224, no. 1-2 (1999): 135–55. http://dx.doi.org/10.1016/s0304-3975(98)00310-7.
Full textJamroga, Wojciech, Beata Konikowska, Damian Kurpiewski, and Wojciech Penczek. "Multi-valued Verification of Strategic Ability." Fundamenta Informaticae 175, no. 1-4 (2020): 207–51. http://dx.doi.org/10.3233/fi-2020-1955.
Full textOlmedo, Francisco M. García, and Antonio J. Rodríguez Salas. "Temporal Algebras, Pretemporal Algebras, and Modal Algebras: A Relation between Time and Necessity." Mathematical Logic Quarterly 41, no. 1 (1995): 24–38. http://dx.doi.org/10.1002/malq.19950410104.
Full textMARCELINO, SÉRGIO, and PEDRO RESENDE. "An algebraic generalization of Kripke structures." Mathematical Proceedings of the Cambridge Philosophical Society 145, no. 3 (2008): 549–77. http://dx.doi.org/10.1017/s0305004108001667.
Full textBurrieza, A., I. P. de Guzmán, and E. Muñoz-Velasco. "Functional systems in the context of temporal×modal logics with indexed flows." International Journal of Computer Mathematics 86, no. 10-11 (2009): 1696–706. http://dx.doi.org/10.1080/00207160902795619.
Full textGHILARDI, SILVIO, and SAMUEL J. VAN GOOL. "A MODEL-THEORETIC CHARACTERIZATION OF MONADIC SECOND ORDER LOGIC ON INFINITE WORDS." Journal of Symbolic Logic 82, no. 1 (2017): 62–76. http://dx.doi.org/10.1017/jsl.2016.70.
Full textRönnedal, Daniel. "The Moral Law and The Good in Temporal Modal Logic with Propositional Quantifiers." Australasian Journal of Logic 17, no. 1 (2020): 22. http://dx.doi.org/10.26686/ajl.v17i1.5674.
Full textRybakov, V. "Multi-modal and Temporal Logics with Universal Formula--Reduction of Admissibility to Validity and Unification." Journal of Logic and Computation 18, no. 4 (2007): 509–19. http://dx.doi.org/10.1093/logcom/exm078.
Full textRequeno, José Ignacio, and José Manuel Colom. "Analyzing Phylogenetic Trees with Timed and Probabilistic Model Checking: The Lactose Persistence Case Study." Journal of Integrative Bioinformatics 11, no. 3 (2014): 17–31. http://dx.doi.org/10.1515/jib-2014-248.
Full textGAIFMAN, HAIM. "CONTEXTUAL LOGIC WITH MODALITIES FOR TIME AND SPACE." Review of Symbolic Logic 1, no. 4 (2008): 433–58. http://dx.doi.org/10.1017/s1755020308090047.
Full text