scientific article; zbMATH DE number 3212004
From MaRDI portal
Publication:5339289
Cited in
(only showing first 100 items - show all)- Adjointness of fuzzy systems
- Temporal logics in AI: semantical and ontological considerations
- Chronological ignorance: Experiments in nonmonotonic temporal reasoning
- An automata theoretic decision procedure for the propositional mu- calculus
- Bilattices and the theory of truth
- Relevance from an epistemic perspective
- Interpolation in loop-free logic
- First-order modal theories
- A Hintikka possible worlds model for certainty levels in medical decision making
- Quantum sets and Clifford algebras
- Provability: The emergence of a mathematical modality
- Reasoning about reasoning in a meta-level architecture
- A model-theoretic criterion of ontology
- Ontological commitment to particulars
- Normal modal model theory
- The semantics of entailment. II
- Contingent identity
- Rational belief change, Popper functions and counterfactuals
- Quantum logic and physical modalities
- The logical structure of Spinoza's Ethics, part I
- Reaching agreements through argumentation: a logical model and implementation
- From environments to representations -- a mathematical theory of artificial perceptions
- The ontology of impossible worlds
- Modifiers connect \(L\)-fuzzy sets to topological spaces
- Quantified Quinean S5
- A tableau-like proof procedure for normal modal logics
- On the evaluation of solution concepts
- Resolution theorem proving in reified modal logics
- Limited reasoning in first-order knowledge bases
- Topos theory and consistent histories: The internal logic of the set of all consistent sets
- \textit{De re} language, \textit{de re} eliminability, and the essential limits of both
- Dynamic reasoning with qualified syllogisms
- A constructive approach to state description semantics
- Mathematical modal logic: A view of its evolution
- A computational model of belief
- The genesis of possible worlds semantics
- The broadest necessity
- Partial semantics for quantified modal logic
- A deductive approach towards reasoning about algebraic transition systems
- Quantification in some non-normal modal logics
- Quantitative model checking of linear-time properties based on generalized possibility measures
- Order-dual relational semantics for non-distributive propositional logics: a general framework
- Reasoning about graded strategy quantifiers
- Reasoning about discrete and continuous noisy sensors and effectors in dynamical systems
- Backdoors for linear temporal logic
- A semantic hierarchy for intuitionistic logic
- Actualism, serious actualism, and quantified modal logic
- Cycle detection in computation tree logic
- Tractable reasoning via approximation
- Approximate planning
- Investigations into quantified modal logic
- A complete minimal logic of the propositional contents of thought
- On relationship between modified sets, topological spaces and rough sets
- Incompleteness and the Barcan formula
- A theoretical investigation into quantitative modal logic
- A planner agent that tries its best in presence of nondeterminism
- NIS-apriori-based rule generation with three-way decisions and its application system in SQL
- Epistemic closure and epistemic logic. I: Relevant alternatives and subjunctivism
- TOrPEDO : witnessing model correctness with topological proofs
- Quantifier-free epistemic term-modal logic with assignment operator
- Metaphysical modality, without possible worlds
- Counterpart semantics at work: independence and incompleteness results in quantified modal logic
- Formally computing with the non-computable
- The effects of effects on constructivism
- Essence and necessity
- Limited reasoning in first-order knowledge bases with full introspection
- Perfect prediction in normal form: superrational thinking extended to non-symmetric games
- Generative program analysis and beyond: the power of domain-specific languages (invited paper)
- Jaśkowski's universally free logic
- Inductive logic with causal modalities: A deterministic approach
- Varieties of rigidity
- Twenty-five basic theorems in situation and world theory
- Specifying and reasoning about uncertain agents
- Logics from Galois connections
- Higher-order contingentism. I: Closure and generation
- How to Lewis a Kripke-Hintikka
- Belief ascription and the Ramsey test
- Montague's paradox, informal provability, and explicit modal logic
- Understanding planning with incomplete information and sensing
- Peirce's contributions to possible-worlds semantics
- Strict identity with no overlap
- Linguistics and natural logic
- General semantics
- Pragmatics and intensional logic
- Modal logic with subjunctive conditionals and dispositional predicates
- Modal Platonism: an easy way to avoid ontologial commitment to abstract entities
- Validity and necessity
- Deontic logic and possible worlds semantics: A historical sketch
- Time and determinism
- Indexical knowledge and robot action -- a logical account
- A logic of time, chance, and action for representing plans
- Counterpart theories for everyone
- New frontiers in ground, essence, and modality: introduction
- Parameterized complexity of CTL
- Neighborhood-sheaf semantics for first-order modal logic
- Systems modelling via resources and processes: philosophy, calculus, semantics, and logic
- The Friedman-Sheard programme in intuitionistic logic
- Reasoning about strategies: on the model-checking problem
- Reasoning About Substructures and Games
- A Computable Solution to Partee’s Temperature Puzzle
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5339289)
