The following pages link to (Q2703808):
Displaying 50 items.
- A note on typed truth and consistency assertions (Q263089) (← links)
- Metamathematical investigations on the theory of grossone (Q299407) (← links)
- Some remarks on real numbers induced by first-order spectra (Q306827) (← links)
- A defeasible reasoning model of inductive concept learning from examples and communication (Q359991) (← links)
- A comprehensive picture of the decidability of mereological theories (Q383563) (← links)
- Observing, reporting, and deciding in networks of sentences (Q386149) (← links)
- A study of the neutrality of Boolean function landscapes in genetic programming (Q418025) (← links)
- Logic and ontological pluralism (Q427222) (← links)
- Craig interpolation for networks of sentences (Q435205) (← links)
- Characterisations of multivalued dependency implication over undetermined universes (Q439967) (← links)
- Practical algorithms for MSO model-checking on tree-decomposable graphs (Q473216) (← links)
- An extension of lazy abstraction with interpolation for programs with arrays (Q479820) (← links)
- Carnap's early semantics (Q486945) (← links)
- Estimation of the dimensions of some Kisin varieties (Q507459) (← links)
- Verification of population protocols (Q523133) (← links)
- Elements for a formal model of intentional systems (Q529643) (← links)
- A formalist philosophy of mathematics. I: Arithmetic (Q603904) (← links)
- Curves in Gödel-space: towards a structuralist ontology of mathematical signs (Q603909) (← links)
- A study on multi-dimensional products of graphs and hybrid logics (Q654915) (← links)
- Scalable offline monitoring of temporal specifications (Q681469) (← links)
- Many-sorted equivalence of shiny and strongly polite theories (Q682380) (← links)
- Frontiers for propositional reasoning about fragments of probabilistic conditional independence and hierarchical database decompositions (Q744991) (← links)
- A logic of plausible justifications (Q744992) (← links)
- Decidability questions for a ring of Laurent polynomials (Q764281) (← links)
- Armstrong axioms and Boyce-Codd-Heath normal form under bag semantics (Q765524) (← links)
- Types of I-free hereditary right maximal terms (Q812102) (← links)
- Relational semantics for Kleene logic and action logic (Q817963) (← links)
- Probabilistic modelling, inference and learning using logical theories (Q841641) (← links)
- Fuzzy constructive logic (Q843607) (← links)
- Decidability of logics based on an indeterministic metric tense logic (Q897475) (← links)
- Categorical foundations for structured specifications in \(\mathsf{Z}\) (Q903494) (← links)
- Expressive power and abstraction in Essence (Q941820) (← links)
- Confusion of memory (Q963414) (← links)
- The diagonalization method in quantum recursion theory (Q972447) (← links)
- Inclusion dynamics hybrid automata (Q999262) (← links)
- Don't care words with an application to the automata-based approach for real addition (Q1028730) (← links)
- Modular semantics for theories: an approach to paraconsistent reasoning (Q1633217) (← links)
- The never-ending recursion (Q1688713) (← links)
- Keeping logic in the trivium of computer science: a teaching perspective (Q1696593) (← links)
- First-order \(\mu\)-calculus over generic transition systems and applications to the situation calculus (Q1706163) (← links)
- Quantum value indefiniteness (Q1761697) (← links)
- The non-unique universe (Q1959141) (← links)
- Formal specification and verification of dynamic parametrized architectures (Q2024379) (← links)
- On solving quantified bit-vector constraints using invertibility conditions (Q2050109) (← links)
- The implicit commitment of arithmetical theories and its semantic core (Q2051133) (← links)
- Towards satisfiability modulo parametric bit-vectors (Q2051567) (← links)
- Politeness and stable infiniteness: stronger together (Q2055852) (← links)
- Model theory of adeles. I. (Q2067515) (← links)
- \(k\)-provability in \(\mathrm{PA}\) (Q2070428) (← links)
- Valuation semantics for first-order logics of evidence and truth (Q2079711) (← links)
