Search Results - "Theory of computation Logic Modal and temporal logics"

HALOTIS: high accuracy LOgic TIming simulator with inertial and degradation delay model by Vazquez, P., Juan-Chico, J., Bellido, M., Acosta, A., Valencia, M.

Get full text

Asynchronous Extensions of HyperLTL by Bozzelli, Laura, Peron, Adriano, Sanchez, Cesar

“…Hyperproperties are a modern specification paradigm that extends trace properties to express properties of sets of traces. Temporal logics for hyperproperties…”
Get full text

A temporal permission analysis and enforcement framework for Android by Sadeghi, Alireza, Jabbarvand, Reyhaneh, Ghorbani, Negar, Bagheri, Hamid, Malek, Sam

“…Permission-induced attacks, i.e., security breaches enabled by permission misuse, are among the most critical and frequent issues threatening the security of…”
Get full text

Comonadic semantics for guarded fragments by Abramsky, Samson, Marsden, Dan

“…In previous work ([1], [2], [3]), it has been shown how a range of model comparison games which play a central role in finite model theory, including…”
Get full text

ITG: Trace Generation via Iterative Interaction between LLM Query and Trace Checking by Luo, Weilin, Fang, Weiyuan, Qiu, Junming, Wan, Hai, Liu, Yanan, Ye, Rongzhen

“…Due to the complexity of linear temporal logic (LTL) trace generation (PSPACE-Complete), existing neural network-based approaches will fail as the formula…”
Get full text

Expressivity of Quantitative Modal Logics : Categorical Foundations via Codensity and Approximation by Komorida, Yuichi, Katsumata, Shin-ya, Kupke, Clemens, Rot, Jurriaan, Hasuo, Ichiro

“…A modal logic that is strong enough to fully characterize the behavior of a system is called expressive. Recently, with the growing diversity of systems to be…”
Get full text

Living without Beth and Craig: Definitions and Interpolants in the Guarded and Two-Variable Fragments by Jung, Jean Christoph, Wolter, Frank

“…In logics with the Craig interpolation property (CIP) the existence of an interpolant for an implication follows from the validity of the implication. In…”
Get full text

Some constructive variants of S4 with the finite model property by Balbiani, Philippe, Dieguez, Martin, Fernandez-Duque, David

“…The logics CS4 and IS4 are intuitionistic variants of the modal logic S4. Whether the finite model property holds for each of these logics has been a…”
Get full text

Finite Model Theory of the Triguarded Fragment and Related Logics by Kieronski, Emanuel, Rudolph, Sebastian

“…The Triguarded Fragment (TGF) is among the most expressive decidable fragments of first-order logic, subsuming both its two-variable and guarded fragments…”
Get full text

Behavioural Preorders via Graded Monads by Ford, Chase, Milius, Stefan, Schroder, Lutz

“…Like notions of process equivalence, behavioural preorders on processes come in many flavours, ranging from fine-grained comparisons such as ready simulation…”
Get full text

Lacon- and Shrub-Decompositions: A New Characterization of First-Order Transductions of Bounded Expansion Classes by Dreier, Jan

“…The concept of bounded expansion provides a robust way to capture sparse graph classes with interesting algorithmic properties. Most notably, every problem…”
Get full text

Constrained LTL Specification Learning from Examples by Zhang, Changjian, Kapoor, Parv, Dardik, Ian, Cui, Leyi, Meira-Goes, Romulo, Garlan, David, Kang, Eunsuk

“…Temporal logic specifications play an important role in a wide range of software analysis tasks, such as model checking, automated synthesis, program…”
Get full text

A Quantum Interpretation of Bunched Logic & Quantum Separation Logic by Zhou, Li, Barthe, Gilles, Hsu, Justin, Ying, Mingsheng, Yu, Nengkun

“…We propose a model of the substructural logic of Bunched Implications (BI) that is suitable for reasoning about quantum states. In our model, the separating…”
Get full text

Multi-Structural Games and Number of Quantifiers by Fagin, Ronald, Lenchner, Jonathan, Regan, Kenneth W., Vyas, Nikhil

“…We study multi-structural games, played on two sets {\mathcal{A}} and {\mathcal{B}} of structures. These games generalize Ehrenfeucht-Fraïssé games. Whereas…”
Get full text

Quantitative Verification and Design Space Exploration Under Uncertainty with Parametric Stochastic Contracts by Oh, Chanwook, Lora, Michele, Nuzzo, Pierluigi

“…This paper proposes an automated framework for quantitative verification and design space exploration of cyber-physical systems in the presence of uncertainty,…”
Get full text

Evidenced Frames: A Unifying Framework Broadening Realizability Models by Cohen, Liron, Miquey, Etienne, Tate, Ross

“…Constructive foundations have for decades been built upon realizability models for higher-order logic and type theory. However, traditional realizability…”
Get full text

A Genetic Algorithm for Goal-Conflict Identification by Degiovanni, Renzo, Molina, Facundo, Regis, German, Aguirre, Nazareno

“…Goal-conflict analysis has been widely used as an abstraction for risk analysis in goal-oriented requirements engineering approaches. In this context, where…”
Get full text

SAT-Verifiable LTL Satisfiability Checking via Graph Representation Learning by Luo, Weilin, Zheng, Yuhang, Ye, Rongzhen, Wan, Hai, Du, Jianfeng, Liang, Pingjia, Chen, Polong

“…With the superior learning ability of neural networks, it is promising to obtain highly confident results for linear temporal logic (LTL) satisfiability…”
Get full text

Decidability and Complexity in Weakening and Contraction Hypersequent Substructural Logics by Balasubramanian, A. R., Lang, Timo, Ramanayake, Revantha

“…We establish decidability for the infinitely many axiomatic extensions of the commutative Full Lambek logic with weakening FL ew (i.e. IMALLW) that have a…”
Get full text

On Logics and Homomorphism Closure by Bodirsky, Manuel, Feller, Thomas, Knauer, Simon, Rudolph, Sebastian

“…Predicate logic is the premier choice for specifying classes of relational structures. Homomorphisms are key to describing correspondences between relational…”
Get full text