DE eng

Search in the Catalogues and Directories

Page: 1 2 3 4 5...43
Hits 1 – 20 of 842

1
Probabilistic knowledge
Moss, Sarah. - Oxford, United Kingdom : Oxford University Press, 2020
BLLDB
UB Frankfurt Linguistik
Show details
2
Jules Vuillemin on the Aristotelian Notion of the Possible and the Master Argument
In: https://halshs.archives-ouvertes.fr/halshs-02632303 ; 2020 (2020)
BASE
Show details
3
Necessity lost : modality and logic in early analytic philosophy ; Volume 1
Shieh, Sanford. - Oxford, United Kingdom : Oxford University Press, 2019
BLLDB
UB Frankfurt Linguistik
Show details
4
Decidable XPath Fragments in the Real World
In: 38th ACM Symposium on Principles of Database Systems (PODS'19) ; https://hal.inria.fr/hal-01852475 ; 38th ACM Symposium on Principles of Database Systems (PODS'19), 2019, Amsterdam, Netherlands. ⟨10.1145/3294052.3319685⟩ (2019)
BASE
Show details
5
Categorization 'via' exemplification: evidence from Italian
In: Folia linguistica historica. - Berlin : Mouton de Gruyter 39 (2018) 1, 69-95
BLLDB
Show details
6
Carnap, Quine, and Putnam on methods of inquiry
Ebbs, Gary. - Cambridge : Cambridge University Press, 2017
BLLDB
UB Frankfurt Linguistik
Show details
7
Focused and Synthetic Nested Sequents (Extended Technical Report)
In: https://hal.inria.fr/hal-01251722 ; [Research Report] Inria. 2016 (2016)
BASE
Show details
8
Language and logics : an introduction to the logical foundations of language
Gregory, Howard. - Edinburgh : Edinburgh University Press, 2015
BLLDB
UB Frankfurt Linguistik
Show details
9
Reliability in pragmatics
McCready, Eric. - Oxford : Oxford University Press, 2015
BLLDB
UB Frankfurt Linguistik
Show details
10
Intensional Transitive Verbs as Cross-World Predicates
In: Semantics and Philosophy in Europe (SPE8) ; https://hal.archives-ouvertes.fr/hal-01232082 ; Semantics and Philosophy in Europe (SPE8), Sep 2015, Cambridge, United Kingdom ; http://itservices.newn.cam.ac.uk/spe8/index.html (2015)
BASE
Show details
11
Intricate Axioms as Interaction Axioms
In: ISSN: 0039-3215 ; EISSN: 1572-8730 ; Studia Logica ; https://hal.inria.fr/hal-01193284 ; Studia Logica, Springer Verlag (Germany), 2015, pp.28. ⟨10.1007/s11225-015-9609-0⟩ (2015)
Abstract: International audience ; In epistemic logic, some axioms dealing with the notion of knowledge are rather convoluted and difficult to interpret intuitively, even though some of them, such as the axioms .2 and .3, are considered to be key axioms by some epistemic logicians. We show that they can be characterized in terms of understandable interaction axioms relating knowledge and belief or knowledge and conditional belief. In order to show it, we first sketch a theory dealing with the characterization of axioms in terms of interaction axioms in modal logic. We then apply the main results and methods of this theory to obtain specific results related to epistemic and doxastic logics.
Keyword: [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]; [MATH.MATH-LO]Mathematics [math]/Logic [math.LO]; [SHS.LANGUE]Humanities and Social Sciences/Linguistics; Definability of Modalities; Epistemic logic; Interaction Axiom; Modal Logic
URL: https://doi.org/10.1007/s11225-015-9609-0
https://hal.inria.fr/hal-01193284/document
https://hal.inria.fr/hal-01193284
https://hal.inria.fr/hal-01193284/file/FinalRevisedStudiaLogica2014.pdf
BASE
Hide details
12
Extensions of equilibrium logic by modal concepts ; Extensions de la logique d'équilibre par des concepts modaux
Su, Ezgi. - : HAL CCSD, 2015
In: https://tel.archives-ouvertes.fr/tel-01636791 ; Computer Science [cs]. IRIT-Institut de recherche en informatique de Toulouse, 2015. English (2015)
BASE
Show details
13
Pristine perspectives on logic, language and computation : student sessions ; selected papers
Colinet, Margot (Hrsg.); Katrenko, Sophia (Hrsg.); Rendsvig, Rasmus K. (Hrsg.). - Heidelberg [u.a.] : Springer, 2014
BLLDB
UB Frankfurt Linguistik
Show details
14
Sexuated Topology and the Suspension of Meaning: A Non-Hermeneutical Phenomenological Approach to Textual Analysis
BASE
Show details
15
Replacing truth
Scharp, Kevin. - Oxford : Oxford University Press, 2013
BLLDB
UB Frankfurt Linguistik
Show details
16
Moving possible world theory from logic to value
In: Poetics today. - Durham, NC : Duke Univ. Press 34 (2013) 1-2, 177-231
BLLDB
OLC Linguistik
Show details
17
Logic, Language, and Computation
V. Marra; G. Bezhanishvili; F. Richter. - : Springer, 2013
BASE
Show details
18
Modal concord: a case study of Dutch
In: Journal of semantics. - Oxford : Univ. Press 29 (2012) 3, 403-437
BLLDB
OLC Linguistik
Show details
19
Denumerably many post-complete normal modal logics with propositional constants
In: Notre Dame journal of formal logic. - Durham, NC : Duke University Press 53 (2012) 4, 549-556
BLLDB
OLC Linguistik
Show details
20
The logic of obligation and the obligations of the logician
In: Synthese. - Dordrecht [u.a.] : Springer Science+Business Media 188 (2012) 3, 423-448
BLLDB
OLC Linguistik
Show details

Page: 1 2 3 4 5...43

Catalogues
78
0
71
0
0
0
10
Bibliographies
795
1
0
0
0
0
0
0
0
Linked Open Data catalogues
0
Online resources
0
0
0
0
Open access documents
35
0
0
0
0
© 2013 - 2024 Lin|gu|is|tik | Imprint | Privacy Policy | Datenschutzeinstellungen ändern