Accedi

Bibliografie tematiche / Modal logic

Indice

Articoli di riviste
Tesi
Libri
Capitoli di libri
Atti di convegni
Rapporti di organizzazioni

Letteratura scientifica selezionata sul tema "Modal logic"

Autore: Grafiati

Pubblicato: 4 giugno 2021

Ultima modifica: 25 luglio 2025

Cita una fonte nei formati APA, MLA, Chicago, Harvard e in molti altri stili

Scegli il tipo di fonte:

Consulta la lista di attuali articoli, libri, tesi, atti di convegni e altre fonti scientifiche attinenti al tema "Modal logic".

Accanto a ogni fonte nell'elenco di riferimenti c'è un pulsante "Aggiungi alla bibliografia". Premilo e genereremo automaticamente la citazione bibliografica dell'opera scelta nello stile citazionale di cui hai bisogno: APA, MLA, Harvard, Chicago, Vancouver ecc.

Puoi anche scaricare il testo completo della pubblicazione scientifica nel formato .pdf e leggere online l'abstract (il sommario) dell'opera se è presente nei metadati.

Articoli di riviste sul tema "Modal logic"

1

Cresswell, Max. "Non-Denumerable Infinitary Modal Logic." JUCS - Journal of Universal Computer Science 15, no. (1) (2009): 63–71. https://doi.org/10.3217/jucs-015-01-0063.

Testo completo

Abstract (sommario):

Segerberg established an analogue of the canonical model theorem in modal logic for infinitary modal logic. However, the logics studied by Segerberg and Goldblatt are based on denumerable sets of pairs ‹Γ, α› of sets Γ of well-formed formulae and well-formed formulae α. In this paper I show how a generalisation of the infinite cut-rule used by Segerberg and Goldblatt enables the removal of the limitation to denumerable sets of sequents.

Gli stili APA, Harvard, Vancouver, ISO e altri

2

Schumann, Andrew. "Nāgārjunian-Yogācārian Modal Logic versus Aristotelian Modal Logic." Journal of Indian Philosophy 49, no. 3 (2021): 467–98. http://dx.doi.org/10.1007/s10781-021-09470-5.

Testo completo

Abstract (sommario):

AbstractThere are two different modal logics: the logic T assuming contingency and the logic K = assuming logical determinism. In the paper, I show that the Aristotelian treatise On Interpretation (Περί ερμηνείας, De Interpretatione) has introduced some modal-logical relationships which correspond to T. In this logic, it is supposed that there are contingent events. The Nāgārjunian treatise Īśvara-kartṛtva-nirākṛtiḥ-viṣṇoḥ-ekakartṛtva-nirākaraṇa has introduced some modal-logical relationships which correspond to K =. In this logic, it is supposed that there is a logical determinism: each event

Gli stili APA, Harvard, Vancouver, ISO e altri

3

Rybakov, V. V. "Hereditarily structurally complete modal logics." Journal of Symbolic Logic 60, no. 1 (1995): 266–88. http://dx.doi.org/10.2307/2275521.

Testo completo

Abstract (sommario):

AbstractWe consider structural completeness in modal logics. The main result is the necessary and sufficient condition for modal logics over K4 to be hereditarily structurally complete: a modal logic λ is hereditarily structurally complete iff λ is not included in any logic from the list of twenty special tabular logics. Hence there are exactly twenty maximal structurally incomplete modal logics above K4 and they are all tabular.

Gli stili APA, Harvard, Vancouver, ISO e altri

4

Demey, Lorenz. "Logic-Sensitivity of Aristotelian Diagrams in Non-Normal Modal Logics." Axioms 10, no. 3 (2021): 128. http://dx.doi.org/10.3390/axioms10030128.

Testo completo

Abstract (sommario):

Aristotelian diagrams, such as the square of opposition, are well-known in the context of normal modal logics (i.e., systems of modal logic which can be given a relational semantics in terms of Kripke models). This paper studies Aristotelian diagrams for non-normal systems of modal logic (based on neighborhood semantics, a topologically inspired generalization of relational semantics). In particular, we investigate the phenomenon of logic-sensitivity of Aristotelian diagrams. We distinguish between four different types of logic-sensitivity, viz. with respect to (i) Aristotelian families, (ii)

Gli stili APA, Harvard, Vancouver, ISO e altri

5

Kooi, Barteld, and Allard Tamminga. "Three-valued Logics in Modal Logic." Studia Logica 101, no. 5 (2012): 1061–72. http://dx.doi.org/10.1007/s11225-012-9420-0.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

6

BEZHANISHVILI, GURAM, NICK BEZHANISHVILI, and JULIA ILIN. "STABLE MODAL LOGICS." Review of Symbolic Logic 11, no. 3 (2018): 436–69. http://dx.doi.org/10.1017/s1755020317000375.

Testo completo

Abstract (sommario):

AbstractStable logics are modal logics characterized by a class of frames closed under relation preserving images. These logics admit all filtrations. Since many basic modal systems such as K4 and S4 are not stable, we introduce the more general concept of an M-stable logic, where M is an arbitrary normal modal logic that admits some filtration. Of course, M can be chosen to be K4 or S4. We give several characterizations of M-stable logics. We prove that there are continuum many S4-stable logics and continuum many K4-stable logics between K4 and S4. We axiomatize K4-stable and S4-stable logics

Gli stili APA, Harvard, Vancouver, ISO e altri

7

Venema, Yde, Alexander Chagrov, and Michael Zakharyaschev. "Modal Logic." Philosophical Review 109, no. 2 (2000): 286. http://dx.doi.org/10.2307/2693587.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

8

Kracht, Marcus, Patrick Blackburn, Maarten de Rijke, and Yde Venema. "Modal Logic." Bulletin of Symbolic Logic 8, no. 2 (2002): 299. http://dx.doi.org/10.2307/2693968.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

9

Venema, Y. "MODAL LOGIC." Philosophical Review 109, no. 2 (2000): 286–89. http://dx.doi.org/10.1215/00318108-109-2-286.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

10

Spencer-Smith, Richard. "Modal logic." Artificial Intelligence Review 5, no. 1-2 (1991): 5–34. http://dx.doi.org/10.1007/bf00129533.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Più fonti

Tesi sul tema "Modal logic"

1

Wansing, Heinrich. "Displaying modal logic /." Dordrecht [u.a.] : Kluwer, 1998. http://www.gbv.de/dms/ilmenau/toc/24662969X.PDF.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

2

Papacchini, Fabio. "Minimal model reasoning for modal logic." Thesis, University of Manchester, 2015. https://www.research.manchester.ac.uk/portal/en/theses/minimal-model-reasoning-for-modal-logic(dbfeb158-f719-4640-9cc9-92abd26bd83e).html.

Testo completo

Abstract (sommario):

Model generation and minimal model generation are useful for tasks such as model checking, query answering and for debugging of logical specifications. Due to this variety of applications, several minimality criteria and model generation methods for classical logics have been studied. Minimal model generation for modal logics how ever did not receive the same attention from the research community. This thesis aims to fill this gap by investigating minimality criteria and designing minimal model generation procedures for all the sublogics of the multi-modal logic S5(m) and their extensions with

Gli stili APA, Harvard, Vancouver, ISO e altri

3

Batchelor, Roderick. "Investigations in modal logic." Thesis, King's College London (University of London), 2004. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.409258.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

4

Wilkinson, Toby. "Enriched coalgebraic modal logic." Thesis, University of Southampton, 2013. https://eprints.soton.ac.uk/354112/.

Testo completo

Abstract (sommario):

We formalise the notion of enriched coalgebraic modal logic, and determine conditions on the category V (over which we enrich), that allow an enriched logical connection to be extended to a framework for enriched coalgebraic modal logic. Our framework uses V-functors L: A → A and T: X → X, where L determines the modalities of the resulting modal logics, and T determines the coalgebras that provide the semantics. We introduce the V-category Mod(A, α) of models for an L-algebra (A, α), and show that the forgetful V-functor from Mod(A, α) to X creates conical colimits. The concepts of bisimulatio

Gli stili APA, Harvard, Vancouver, ISO e altri

5

Murakami, Yuko. "Modal logic of partitions." [Bloomington, Ind.] : Indiana University, 2005. http://wwwlib.umi.com/dissertations/fullcit/3162977.

Testo completo

Abstract (sommario):

Thesis (Ph.D.)--Indiana University, Dept. of Philosophy, 2005.<br>Title from PDF t.p. (viewed Dec. 2, 2008). Source: Dissertation Abstracts International, Volume: 66-02, Section: A, page: 0620. Chairs: Lawrence Moss; Michael Dunn.

Gli stili APA, Harvard, Vancouver, ISO e altri

6

Zanichelli, Riccardo <1993&gt. "Aristotle’s modal syllogistic and first-order modal logic." Doctoral thesis, Alma Mater Studiorum - Università di Bologna, 2022. http://amsdottorato.unibo.it/10396/1/rzamsafml.pdf.

Testo completo

Abstract (sommario):

In Prior Analytics 1.1–22, Aristotle develops his proof system of non-modal and modal propositions. This system is given in the language of propositions, and Aristotle is concerned with establishing some properties and relations that the expressions of this language enjoy. However, modern scholarship has found some of his results inconsistent with positions defended elsewhere. The set of rules of inference of this system has also caused perplexity: there does not seem to be a single interpretation that validates all the rules which Aristotle is explicitly committed to using in his proofs. Som

Gli stili APA, Harvard, Vancouver, ISO e altri

7

Thalmann, Lars. "Term-modal logic and quantifier-free dynamic assignment logic." Doctoral thesis, Uppsala : Institutionen för informationsteknologi, Univ. [distributör], 2000. http://publications.uu.se/theses/91-506-1443-6/.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

8

Chou, Soi Ngan. "Normal systems of modal logic." Thesis, University of Macau, 2000. http://umaclib3.umac.mo/record=b1446655.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

9

Martin, Alan J. "Modal and fixpoint linear logic." Thesis, University of Ottawa (Canada), 2002. http://hdl.handle.net/10393/6074.

Testo completo

Abstract (sommario):

This thesis provides adaptations of the algebraic and relational semantics of modal logic to model J.-Y. Girard's linear logic extended with general modalities. This work extends the work of M. D'Agostino, D. Gabbay, and A. Russo on modalities in implication systems, which include a fragment of linear logic, and the work of J.-Y. Girard on phase semantics for linear logic. We develop deductive systems based on the Gentzen-style sequent calculi of Ohnishi and Matsumoto and the indexed sequents of Mints, and prove cut-elimination properties. We show that semantics and deductive systems that are

Gli stili APA, Harvard, Vancouver, ISO e altri

10

Costa, Marcos Mota do Carmo. "Characterization of modal (action) logic." Thesis, Imperial College London, 1990. http://hdl.handle.net/10044/1/47821.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Più fonti

Libri sul tema "Modal logic"

1

Girle, Rod. Modal logics and philosophy: Introduction to modal logic. Acumen, 2000.

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

2

Chagrov, Alexander. Modal logic. Clarendon Press, 1997.

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

3

Wansing, Heinrich. Displaying Modal Logic. Springer Netherlands, 1998. http://dx.doi.org/10.1007/978-94-017-1280-4.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

4

Rijke, Maarten de. Extending modal logic. Institute for Logic, Language and Computation,Universiteit van Amsterdam, 1993.

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

5

Wansing, H. Displaying modal logic. Kluwer Academic, 1998.

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

6

Maarten, Marx, Pólos László, and Masuch Michael 1949-, eds. Arrow logic and multi-modal logic. CSLI Publications, 1996.

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

7

Eijck, J. van. Dynamic modal predicate logic. Research Institute for Language and Speech, 1993.

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

8

Marx, Maarten, and Yde Venema. Multi-Dimensional Modal Logic. Springer Netherlands, 1997. http://dx.doi.org/10.1007/978-94-011-5694-3.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

9

Ruzsa, Imre. Modal Logic with Descriptions. Springer Netherlands, 2001. http://dx.doi.org/10.1007/978-94-017-2294-0.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

10

Fitting, Melvin, and Richard L. Mendelsohn. First-Order Modal Logic. Springer Netherlands, 1998. http://dx.doi.org/10.1007/978-94-011-5292-1.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Più fonti

Capitoli di libri sul tema "Modal logic"

1

Wansing, Heinrich. "Display Logic." In Displaying Modal Logic. Springer Netherlands, 1998. http://dx.doi.org/10.1007/978-94-017-1280-4_3.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

2

Nerode, Anil, and Richard A. Shore. "Modal Logic." In Logic for Applications. Springer New York, 1997. http://dx.doi.org/10.1007/978-1-4612-0649-1_5.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

3

de Swart, H. C. M. "Modal Logic." In Springer Undergraduate Texts in Philosophy. Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-030-03255-5_6.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

4

Chatti, Saloua. "Modal Logic." In Studies in Universal Logic. Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-27466-5_4.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

5

Nerode, Anil, and Richard A. Shore. "Modal Logic." In Logic for Applications. Springer US, 1993. http://dx.doi.org/10.1007/978-1-4684-0211-7_4.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

6

Gochet, Paul. "Modal logic." In Handbook of Pragmatics. John Benjamins Publishing Company, 2007. http://dx.doi.org/10.1075/hop.11.mod1.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

7

Gochet, Paul. "Modal logic." In Handbook of Pragmatics. John Benjamins Publishing Company, 1995. http://dx.doi.org/10.1075/hop.m.mod1.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

8

Gochet, Paul. "Modal logic." In Philosophical Perspectives for Pragmatics. John Benjamins Publishing Company, 2011. http://dx.doi.org/10.1075/hoph.10.14goc.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

9

Gochet, Paul. "Modal logic." In Handbook of Pragmatics. John Benjamins Publishing Company, 2022. http://dx.doi.org/10.1075/hop.m2.mod1.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

10

Marek, V. Wiktor, and Mirosław Truszczyński. "Modal logic." In Artificial Intelligence. Springer Berlin Heidelberg, 1993. http://dx.doi.org/10.1007/978-3-662-02906-0_7.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Atti di convegni sul tema "Modal logic"

1

Artale, Alessandro, Roman Kontchakov, Andrea Mazzullo, and Frank Wolter. "Non-Rigid Designators in Modal and Temporal Free Description Logics." In 21st International Conference on Principles of Knowledge Representation and Reasoning {KR-2023}. International Joint Conferences on Artificial Intelligence Organization, 2024. http://dx.doi.org/10.24963/kr.2024/8.

Testo completo

Abstract (sommario):

Definite descriptions, such as ‘the General Chair of KR 2024’, are a semantically transparent device for object identification in knowledge representation. In first-order modal logic, definite descriptions have been widely investigated for their non-rigidity, which allows them to designate different objects (or none at all) at different states. We propose expressive modal description logics with non-rigid definite descriptions and names, and investigate decidability and complexity of the satisfiability problem. We first systematically link satisfiability for the one-variable fragment of first-

Gli stili APA, Harvard, Vancouver, ISO e altri

2

López-Villafán, Ricardo, and Everardo Bárcenas. "A Reasoning System for Graded Modal Logic." In 2024 12th International Conference in Software Engineering Research and Innovation (CONISOFT). IEEE, 2024. https://doi.org/10.1109/conisoft63288.2024.00037.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

3

Majer, Ondrej, and Igor Sedlár. "On Many-Valued Modal Probabilistic Logics." In 2025 IEEE 55th International Symposium on Multiple-Valued Logic (ISMVL). IEEE, 2025. https://doi.org/10.1109/ismvl64713.2025.00014.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

4

Soloviev, Matvey, Musard Balliu, and Roberto Guanciale. "Security Properties through the Lens of Modal Logic." In 2024 IEEE 37th Computer Security Foundations Symposium (CSF). IEEE, 2024. http://dx.doi.org/10.1109/csf61375.2024.00009.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

5

Gómez Álvarez, Lucía, and Sebastian Rudolph. "Reasoning in SHIQ with Axiom- and Concept-Level Standpoint Modalities." In 21st International Conference on Principles of Knowledge Representation and Reasoning {KR-2023}. International Joint Conferences on Artificial Intelligence Organization, 2024. http://dx.doi.org/10.24963/kr.2024/36.

Testo completo

Abstract (sommario):

Standpoint logic is a recently proposed modal logic framework that is well-suited for multiperspective reasoning and ontology integration. For this reason, combinations of standpoint logic with description logics (DLs) are of special interest. Prior work has shown that it is possible to add standpoints to numerous decidable fragments of first-order logics - including very expressive DLs up to SROIQbs - while preserving their reasoning complexity, so long as standpoint modalities are limited to the axiom level. A more expressive tighter modal integration, where standpoint modalities are also al

Gli stili APA, Harvard, Vancouver, ISO e altri

6

Wałęga, Przemysław Andrzej. "Expressive Power of Definite Descriptions in Modal Logics." In 21st International Conference on Principles of Knowledge Representation and Reasoning {KR-2023}. International Joint Conferences on Artificial Intelligence Organization, 2024. http://dx.doi.org/10.24963/kr.2024/65.

Testo completo

Abstract (sommario):

Motivated by applications in knowledge representation and reasoning, modal and description logics have been recently extended with definite description operators. Such operators provide us with a tool for referring to a particular element of a model by stating a property satisfied only by this element. This mechanism resembles the way we refer to objects in natural language, which makes it an attractive component of ontology and query languages. In this paper, we aim to provide a tool for analysing the expressive power of logics with definite descriptions. In particular, we introduce an adequa

Gli stili APA, Harvard, Vancouver, ISO e altri

7

Cabalar, Pedro, Thomas Eiter, and Davide Soldà. "Contracted Temporal Equilibrium Logic." In 21st International Conference on Principles of Knowledge Representation and Reasoning {KR-2023}. International Joint Conferences on Artificial Intelligence Organization, 2024. http://dx.doi.org/10.24963/kr.2024/21.

Testo completo

Abstract (sommario):

The stable model semantics of logic programs has been characterized by Equilibrium Logic, which is a non-monotonic formalism that selects models from the (monotonic) intermediate logic of Here-and-There. It provides stable models for arbitrary propositional formulas and has been fruitfully extended to different modal languages. Among them are theories in the syntax of Linear-Time Temporal Logic (LTL), giving rise to Temporal Equilibrium logic (TEL) based on Temporal Here-and-There (THT). In TEL, models are selected that minimize truth among THT traces of the same length. In this paper, we cons

Gli stili APA, Harvard, Vancouver, ISO e altri

8

Calcagno, Cristiano, Philippa Gardner, and Uri Zarfaty. "Context logic as modal logic." In the 34th annual ACM SIGPLAN-SIGACT symposium. ACM Press, 2007. http://dx.doi.org/10.1145/1190216.1190236.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

9

Wild, Paul, and Lutz Schröder. "A Characterization Theorem for a Modal Description Logic." In Twenty-Sixth International Joint Conference on Artificial Intelligence. International Joint Conferences on Artificial Intelligence Organization, 2017. http://dx.doi.org/10.24963/ijcai.2017/181.

Testo completo

Abstract (sommario):

Modal description logics feature modalities that capture dependence of knowledge on parameters such as time, place, or the information state of agents. E.g., the logic S5-ALC combines the standard description logic ALC with an S5-modality that can be understood as an epistemic operator or as representing (undirected) change. This logic embeds into a corresponding modal first-order logic S5-FOL. We prove a modal characterization theorem for this embedding, in analogy to results by van Benthem and Rosen relating ALC to standard first-order logic: We show that S5-ALC with only local roles is, bot

Gli stili APA, Harvard, Vancouver, ISO e altri

10

Esteva, Francese, Lluis Godo, and Ricardo Oscar Rodriguez. "On the relation between modal and multi-modal logics over Łukasiewicz logic." In 2017 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE). IEEE, 2017. http://dx.doi.org/10.1109/fuzz-ieee.2017.8015703.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Rapporti di organizzazioni sul tema "Modal logic"

1

Lutz, Carsten, and Ulrike Sattler. The Complexity of Reasoning with Boolean Modal Logics (Extended Version). Aachen University of Technology, 1999. http://dx.doi.org/10.25368/2022.105.

Testo completo

Abstract (sommario):

Since Modal Logics are an extension of Propositional Logic, they provide Boolean operators for constructing complex formulae. However, most Modal Logics do not admit Boolean operators for constructing complex modal parameters to be used in the box and diamond operators. This asymmetry is not present in Boolean Modal Logics, in which box and diamond quantify over arbitrary Boolean combinations of atomic model parameters.

Gli stili APA, Harvard, Vancouver, ISO e altri

2

Lutz, Carsten, and Frank Wolter. Modal Logics of Topological Relations. Technische Universität Dresden, 2004. http://dx.doi.org/10.25368/2022.142.

Testo completo

Abstract (sommario):

The eight topological RCC8(or Egenhofer-Franzosa)- relations between spatial regions play a fundamental role in spatial reasoning, spatial and constraint databases, and geographical information systems. In analogy with Halpern and Shoham’s modal logic of time intervals based on the Allen relations, we introduce a family of modal logics equipped with eight modal operators that are interpreted by the RCC8-relations. The semantics is based on region spaces induced by standard topological spaces, in particular the real plane. We investigate the expressive power and computational complexity of the

Gli stili APA, Harvard, Vancouver, ISO e altri

3

Hirsch, Colin, and Stephan Tobies. A Tableau Algorithm for the Clique Guarded Fragment. Aachen University of Technology, 1999. http://dx.doi.org/10.25368/2022.106.

Testo completo

Abstract (sommario):

Aus der Einleitung: The Guarded Fragment of first-order logic, introduced by Andréka, van Benthem, and Németi, has been a succesful attempt to transfer many good properties of modal, temporal, and description logics to a larger fragment of predicate logic. Among these are decidability, the finite modal property, invariance under an appropriate variant of bisimulation, and other nice modal theoretic properties.

Gli stili APA, Harvard, Vancouver, ISO e altri

4

Lutz, Carsten, and Dirk Walther. PDL with Negation of Atomic Programs. Technische Universität Dresden, 2003. http://dx.doi.org/10.25368/2022.129.

Testo completo

Abstract (sommario):

Propositional dynamic logic (PDL) is one of the most succesful variants of modal logic. To make it even more useful for applications, many extensions of PDL have been considered in the literature. A very natural and useful such extension is with negation of programs. Unfortunately, it is long-known that reasoning with the resulting logic is undecidable. In this paper, we consider the extension of PDL with negation of atomic programs, only. We argue that this logic is still useful, e.g. in the context of description logics, and prove that satisfiability is decidable and EXPTIME-complete using a

Gli stili APA, Harvard, Vancouver, ISO e altri

5

Kozachenko, Nadiia. AGM cognitive actions as modal operators of three-valued logic: presentation. Ruhr-Universität Bochum, 2022. http://dx.doi.org/10.31812/123456789/6687.

Testo completo

Abstract (sommario):

AGM is designed so that its principles can be applied to the development of belief dynamics models, regardless of the field of application. The main idea of this work is to see how we can to represent cognitive actions considered in AGM within a certain three-valued logic, and check what interesting properties can be discovered in this way. To do this, we will consider the basic concepts and principles of AGM. Then we interpret them in a logical schema. And then we see what information about them we can get in the resulting system.

Gli stili APA, Harvard, Vancouver, ISO e altri

6

Baader, Franz, Stefan Borgwardt, and Barbara Morawska. Computing Minimal EL-Unifiers is Hard. Technische Universität Dresden, 2012. http://dx.doi.org/10.25368/2022.187.

Testo completo

Abstract (sommario):

Unification has been investigated both in modal logics and in description logics, albeit with different motivations. In description logics, unification can be used to detect redundancies in ontologies. In this context, it is not sufficient to decide unifiability, one must also compute appropriate unifiers and present them to the user. For the description logic EL, which is used to define several large biomedical ontologies, deciding unifiability is an NP-complete problem. It is known that every solvable EL-unification problem has a minimal unifier, and that every minimal unifier is a local uni

Gli stili APA, Harvard, Vancouver, ISO e altri

7

Baader, Franz, and Anton Claußnitzer. Maximum Entropy Reasoning via Model Counting in (Description) Logics that Count Extended Version. Technische Universität Dresden, 2025. https://doi.org/10.25368/2025.015.

Testo completo

Abstract (sommario):

In previous work it was shown that the logic ALC^ME , which extends the description logic (DL) ALC with probabilistic conditionals, has domain-lifted inference. Here, we extend this result from the base logic ALC to two logics that can count, the two-variable fragment C2 of first-order logic (FOL) with counting quantifiers, and the DL ALCSCC, which is not a fragment of FOL. As an auxiliary result, we prove that model counting in ALCSCC can be realized in a domain-liftable way.

Gli stili APA, Harvard, Vancouver, ISO e altri

8

Borgwardt, Stefan, Felix Distel, and Rafael Peñaloza. Gödel Description Logics: Decidability in the Absence of the Finitely-Valued Model Property. Technische Universität Dresden, 2013. http://dx.doi.org/10.25368/2022.199.

Testo completo

Abstract (sommario):

In the last few years there has been a large effort for analysing the computational properties of reasoning in fuzzy Description Logics. This has led to a number of papers studying the complexity of these logics, depending on their chosen semantics. Surprisingly, despite being arguably the simplest form of fuzzy semantics, not much is known about the complexity of reasoning in fuzzy DLs w.r.t. witnessed models over the Gödel t-norm. We show that in the logic G-IALC, reasoning cannot be restricted to finitely valued models in general. Despite this negative result, we also show that all the stan

Gli stili APA, Harvard, Vancouver, ISO e altri

9

Mann, Val. Work and Health Logic Model. National Institute for Health and Care Research, 2024. https://doi.org/10.3310/nihropenres.1115244.1.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

10

Borgwardt, Stefan, and Rafael Peñaloza. Consistency in Fuzzy Description Logics over Residuated De Morgan Lattices. Technische Universität Dresden, 2012. http://dx.doi.org/10.25368/2022.188.

Testo completo

Abstract (sommario):

Fuzzy description logics can be used to model vague knowledge in application domains. This paper analyses the consistency and satisfiability problems in the description logic SHI with semantics based on a complete residuated De Morgan lattice. The problems are undecidable in the general case, but can be decided by a tableau algorithm when restricted to finite lattices. For some sublogics of SHI, we provide upper complexity bounds that match the complexity of crisp reasoning.

Gli stili APA, Harvard, Vancouver, ISO e altri

Offriamo sconti su tutti i piani premium per gli autori le cui opere sono incluse in raccolte letterarie tematiche. Contattaci per ottenere un codice promozionale unico!