Search results

2014-06-11 Paper Verifying Temporal Properties in Real Models 2014-01-17 Paper Model Checking General Linear Temporal Logic 2013-10-04 Paper On the succinctness...

Intuitionistic Temporal Logics 2023-12-12 Paper Strong Completeness of S4 for the Real Line 2022-02-04 Paper QUANTIFIED INTUITIONISTIC LOGIC OVER METRIZABLE...

2012-06-22 Paper Temporal Logics for Concurrent Recursive Programs: Satisfiability and Model Checking 2011-08-17 Paper Local Temporal Logic Is Expressively...

Branching-time logic with quantification over branches: The point of view of modal logic 1996-06-02 Paper Ockhamist Computational Logic: Past-Sensitive...

Symbolic possibilistic logic: completeness and inference methods 2018-09-28 Paper On the relation between possibilistic logic and modal logics of belief and knowledge...

\((\alpha, \beta)\)-ordered linear resolution of intuitionistic fuzzy propositional logic 2020-07-02 Paper Well-posedness of strong solutions to the anelastic...

versa -- a theorem 2021-09-03 Paper Fuzzy logic explains the usual choice of logical operations in 2-valued logic 2021-09-03 Paper https://portal.mardi4nfdi...

Keywords metric temporal logic; data words; freeze LTL; deterministic one-counter machines; path checking problem; times propositional temporal logic Mathematics...

and multiple homomorphisms 2011-11-24 Paper Proof complexity of propositional default logic 2011-11-23 Paper On the natural merit function for solving complementarity...

proof-theoretic study of the correspondence of hybrid logic and classical logic 2009-03-24 Paper The basic constructive logic for a weak sense of consistency 2009-03-24...

response times and reducing jitter 2001-02-18 Paper V. A. Smirnov (1931-1996): Work and life 2001-02-18 Paper The classification of propositional calculi...

regularly growing potential 1993-05-16 Paper Reasoning in a restricted temporal logic 1993-05-16 Paper Quantum mechanics of gravitational collapse 1993-05-16...

turbomachines 2015-10-16 Paper An intelligent temporal pattern classification system using fuzzy temporal rules and particle swarm optimization 2015-10-16...

The complementation problem for Büchi automata with applications to temporal logic 1987-01-01 Paper Near-field contaminant dispersion from an elevated...

processing in Cat's retina 1980-01-01 Paper The logic of relative modality and the paradoxes of deontic logic 1980-01-01 Paper Dynamical systems and evolution...

quadratic forms on decomposable tensors 1994-08-15 Paper Quantum logic and linear logic 1994-08-15 Paper Stochastic quantization of the nonlinear sigma...

predicate logic, T \(\times\) W completeness, Propositional \(\text Q\)-logic...

inconsistent temporal structure; multimodal semantics; relational calculus for times; temporal relationism; tense logic plus propositional quantifiers Mathematics...

fixed-point operators; propositional temporal logic; predicate temporal logic; temporal flow Mathematics Subject Classification ID 03B45: Modal logic (including the...

Adding a temporal dimension to a logic system T \(\times\) W completeness Combining temporal logic systems Extending partial isomorphisms on finite structures...